jaredloomis/Idris-HoTT

Homotopy Type Theory proofs in Idris

Idris

Readme
0Issues
21Stargazers
5Watchers

Homotopy Type Theory in Idris

Topics

dependent-types homotopy-type-theory idris type-theory

Share to

Contact site admin: Geeks.