ocaml-gospel / gospelLinks

A tool-agnostic formal specification language for OCaml.
144Updated 4 months ago

Alternatives and similar repositories for gospel

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

Sorting: