]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc304dd) | patch
proof of univalence
authorcoquand <coquand@chalmers.se>
Sat, 26 Dec 2015 16:14:38 +0000 (17:14 +0100)
committercoquand <coquand@chalmers.se>
Sat, 26 Dec 2015 16:14:38 +0000 (17:14 +0100)
commitcc8109787380e56fca3c88500eb10a88670cf982
tree0b946dbbc8068d1c2f9971b4f13db8cb11440166tree | snapshot
parentdc304dde7ceed5a65aa75999be2b1f53837a0743commit | diff
proof of univalence
examples/testContr.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.