]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0fa3409) | patch
other proof of univalence
authorcoquand <coquand@chalmers.se>
Sat, 26 Dec 2015 19:45:35 +0000 (20:45 +0100)
committercoquand <coquand@chalmers.se>
Sat, 26 Dec 2015 19:45:35 +0000 (20:45 +0100)
commitf08b2e691293ddc2c6807711e88c91da4c14417b
tree52bf936c16bebedffe5c8872c36d934283465564tree | snapshot
parent0fa3409aabf1886ce87c1aefc51740d2535817bdcommit | diff
other proof of univalence
examples/testEquiv.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.