Getting StartedDocumentation
Organisationsocaml-gospelgospel

gospel

https://github.com/ocaml-gospel/gospel
Default Branch
main
Merge pull request #447 from n-osborne/typing-refactoring Extract and document typing environment
c87cff
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)
Type checker rewrite
Update change log
d97881
#449