A proof of univalence (wip)
authorSimon Huber <hubsim@gmail.com>
Tue, 16 Jun 2015 20:27:34 +0000 (22:27 +0200)
committerSimon Huber <hubsim@gmail.com>
Tue, 16 Jun 2015 20:27:34 +0000 (22:27 +0200)
commit66b30d8b4eff7efff38010377e06b910172bbe2e
tree3c3b27d92d61ae987bc4530b9b3ac54171e8541e
parentf1a06ce0eeeea5e9cc1983c3b31a7cc962d8f245
A proof of univalence (wip)
examples/univ.ctt [new file with mode: 0644]