Geeks
crnkjck
/
proof-assistant
Proof assistant
Primary Language
Elm
MIT License
MIT
proof-assistant GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
jhcloos
crnkjck
Bratislava, Slovakia