Geeks
Acaccia
/
Idris_cw
Idris proofs
Primary Language
Idris
Idris_cw GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
No issues in this repository yet.