projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87f4b8e) | patch
piS2 is trivial
authorcoquand <coquand@chalmers.se>
Thu, 30 Apr 2015 11:44:38 +0000 (13:44 +0200)
committercoquand <coquand@chalmers.se>
Thu, 30 Apr 2015 11:44:38 +0000 (13:44 +0200)
commitd74ce0731763d99c173367d1fabdc9e9a37204b3
tree7bf7e1a6ca26ec6d61d138464ca32737c6bd9e48tree | snapshot
parent87f4b8e677c012d217b70538e055d868b2c3ed2ccommit | diff
piS2 is trivial
examples/deppath.ctt [new file with mode: 0644] blob
examples/pi1S2.ctt diff | blob | blame | history
examples/thm7312.ctt [new file with mode: 0644] blob
examples/truncS2.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.