]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3aa530) | patch
Finish the proof of univalence
authorAnders <mortberg@chalmers.se>
Wed, 17 Jun 2015 15:43:48 +0000 (17:43 +0200)
committerAnders <mortberg@chalmers.se>
Wed, 17 Jun 2015 15:43:48 +0000 (17:43 +0200)
commit3d92424543b9675e05658342349589e5068dd364
tree029e2b8e953744db34e5eff79498178edf2c80dftree | snapshot
parentf3aa53095a4100e209be8547f5b49520fec4ff44commit | diff
Finish the proof of univalence
examples/gradLemma.ctt diff | blob | history
examples/univ.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.