Geeks
autotaker
/
dmochi
OCaml verification tool based on lazy abstraction
Primary Language
Haskell
MIT License
MIT
dmochi GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
jhcloos
autotaker