Skip to content

jaredloomis/Idris-HoTT

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
Main.idr
Main.idr
 
 
README.md
README.md
 
 

Repository files navigation

Homotopy Type Theory in Idris

About

Homotopy Type Theory proofs in Idris

Topics

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

Resources

Readme
Activity

Stars

22 stars

Watchers

3 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages