ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
45Updated last week

Alternatives and similar repositories for ortac:

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