Getting StartedDocumentation
Organisationsocaml-gospelgospel

gospel

https://github.com/ocaml-gospel/gospel
Default Branch
main
Merge pull request #476 from mrjazzybread/set Special syntax for building sets
32e05f
Branches (3)
0.3.1
Update Changelog
5597c6
implementations_gospel
Added !! entry in terms
cd1372
readme-grant
Add ANR grant in README
433604