]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1a06ce) | patch
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
tree3c3b27d92d61ae987bc4530b9b3ac54171e8541etree | snapshot
parentf1a06ce0eeeea5e9cc1983c3b31a7cc962d8f245commit | diff
A proof of univalence (wip)
examples/univ.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.