ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
44Updated last week

Alternatives and similar repositories for ortac:

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