projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aed9552) | patch
new proof of Hedberg's theorem
authorcoquand <coquand@chalmers.se>
Sun, 19 Apr 2015 10:09:20 +0000 (12:09 +0200)
committercoquand <coquand@chalmers.se>
Sun, 19 Apr 2015 10:09:20 +0000 (12:09 +0200)
commit1857f49fcaa51c6084d65177974e774c998c7024
tree06a916e95ff785b7e645627916dd0d790b341e15tree | snapshot
parentaed955207f1d121d8c951238d7c304f9cdfa4d87commit | diff
new proof of Hedberg's theorem
examples/newhedberg.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.