Getting StartedDocumentation
Organisationsocaml-gospelgospel

gospel

https://github.com/ocaml-gospel/gospel
Default Branch
main
Merge pull request #453 from mrjazzybread/fixity Identifiers now contain field stating if they are infix
e3b2c7
Branches (1)
implementations_gospel
Experimenting with dinamically verified invariants
c20125
Refs Branches (1)
Special let operators
Remove dead code
327307
#454