Geeks
ndmitchell
/
proof
Haskell library for writing proofs
Primary Language
Haskell
proof GitHub
Markdown
Readme
0
Issues
2
Stargazers
4
Watchers
Watchers
jhcloos
ndmitchell
Cambridge, UK
eemailme
quewean