package gospel

You can search for identifiers within the package.

in-package search v0.2.0

A tool-agnostic formal specification language for OCaml

Install

Dune Dependency

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

Authors

Maintainers

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