package gospel

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

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (3)

Authors

  1. J
    Jean-Christophe Filliâtre
  2. C
    Cláudio Lourenço
  3. C
    Clément Pascutto
  4. M
    Mário Pereira

Maintainers

  1. J
    Jean-Christophe.Filliatre@lri.fr

Sources

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

CHANGES.md.html

0.1.0 (11-03-2021)

  • Initial release