]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42434ef) | patch
nicer proof of lemtransport
authorcoquand <coquand@chalmers.se>
Tue, 28 Apr 2015 17:59:04 +0000 (19:59 +0200)
committercoquand <coquand@chalmers.se>
Tue, 28 Apr 2015 17:59:04 +0000 (19:59 +0200)
commit067cdbd1b95ac6968bd08e5dc48ff2a93619981d
tree86e76f392f602a0c4dc7da151e6ce76f74be57d6tree | snapshot
parent42434ef8cb9aa3790a6c043b6e3ab0943ff08b06commit | diff
nicer proof of lemtransport
examples/pi1S2.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.