Geeks
TorosFanny
/
Idris-HoTT
Homotopy Type Theory in Idris
Primary Language
Idris
Idris-HoTT GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Homotopy Type Theory in Idris