ocaml-gospel / gospelLinks

A tool-agnostic formal specification language for OCaml.
144Updated this week

Alternatives and similar repositories for gospel

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

Sorting: