/
.gitignore
Coprod.thy
Equal.thy
EqualProps.thy
HoTT.thy
HoTT_Base.thy
HoTT_Methods.thy
HoTT_Test.thy
Nat.thy
Prod.thy
ProdProps.thy
Proj.thy
README.md
Sum.thy
ex
scratch.thy