projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11059df) | patch
proof that mult is an equivalence
authorcoquand <coquand@chalmers.se>
Tue, 21 Apr 2015 15:18:03 +0000 (17:18 +0200)
committercoquand <coquand@chalmers.se>
Tue, 21 Apr 2015 15:18:03 +0000 (17:18 +0200)
commit0160f7b3c8c9f896ec92ad77e4e9a1d09fff11a4
tree325c2de1e7978873664491abfc584cdb819564fctree | snapshot
parent11059dfea5d6be878776c5438d60ffbb60ae6972commit | diff
proof that mult is an equivalence
examples/helix.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.