Geeks
jdolson
/
univalence-from-scratch
Univalence from scratch in Idris
Primary Language
Idris
univalence-from-scratch GitHub
Markdown
Readme
0
Issues
19
Stargazers
2
Watchers
No issues in this repository yet.