Getting StartedDocumentation
Organisationsocaml-gospelgospelbranch/implementations_gospelBuild History

Build History for branch/implementations_gospel

Builds (3)
Added !! entry in terms
cd1372
Specification under match-with cases - This is useful for the Coma backend of Cameleer
8bbeff
Experimenting with dinamically verified invariants
c20125