ocaml-gospel/gospel

A tool-agnostic formal specification language for OCaml.

语言：OCaml · GitHub 星标：167 · Fork：20

在 GitHub 上查看原仓库