package gospel

  1. Overview
  2. Docs
A tool-agnostic formal specification language for OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

gospel-0.1.0.tbz
sha256=4435d8a8f158edbc113bab01bbf4bb5e2a874bfa0a9b6b91bebcb95452c40464
sha512=4f1bc700bd0ee5aa4e035b18f253bc31880b0891cd27d55c2814ae7c7ad2c897fd804e1598201faa765b0ec1d61ee62c5d156c4ca2f6d40e77c82e95ac5c1f43

CHANGES.md.html

0.1.0 (11-03-2021)

  • Initial release

OCaml

Innovation. Community. Security.