ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.
137Updated last month

Alternatives and similar repositories for gospel:

Users that are interested in gospel are comparing it to the libraries listed below