Geeks
yo-irne
/
proof-assistant
More like proof checker, but works.
Primary Language
OCaml
proof-assistant GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
proof-assistant
More like proof checker, but works.