Geeks
hugokindel
/
invariant-synthesis
Invariant Synthesis Checker
Primary Language
OCaml
invariant-synthesis GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
school-invariant-synthesis
Invariant Synthesis Checker