Getting StartedDocumentation
Organisationsocaml-gospelgospel

gospel

https://github.com/ocaml-gospel/gospel
Default Branch
main
Merge pull request #451 from mrjazzybread/Documentation Removed GitHub workflow files for documentation
047742
Branches (2)
implementations_gospel
Experimenting with dinamically verified invariants
c20125
type-checker-dev-meeting
Add notes and slides for 2025-06-18 meeting
456676
Refs Branches (1)
Value headers now appear at top of the spec
Update change log
d25949
#452