A tool-agnostic formal specification language for OCaml.
Primary LanguageOCamlMIT LicenseMIT
No one’s star this repository yet.