Getting Started
Documentation
Organisations
ocaml-gospel
gospel
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
-
Oct 14 14:34 +00:00
Running for 9h33m
Branches (1)
implementations_gospel
Experimenting with dinamically verified invariants
c20125
-
Oct 14 14:34 +00:00
Running for 9h00m
Refs Branches (1)
Special let operators
Remove dead code
327307
-
#454
-
Oct 17 15:27 +00:00
Running for 9h33m