projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 981e3eb) | patch
Add new proof that loopS1 is a set
authorAnders Mörtberg <mortberg@chalmers.se>
Tue, 5 May 2015 18:54:03 +0000 (20:54 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Tue, 5 May 2015 18:54:03 +0000 (20:54 +0200)
commitf00820846bfdb0738626e4e314c751499aa725a3
tree18b7859b8d6b78fe5314aee90215dfd49b51283dtree | snapshot
parent981e3eb720d93c1dee1b8cfab6676b0db8f03cf6commit | diff
Add new proof that loopS1 is a set
Remove unnecessary imports
examples/helix.ctt diff | blob | blame | history
examples/join.ctt diff | blob | blame | history
examples/mystery.ctt diff | blob | blame | history
examples/pi1s2.ctt [moved from examples/pi1S2.ctt with 98% similarity] diff | blob | blame | history
examples/testall.ctt diff | blob | blame | history
examples/thm7312.ctt diff | blob | blame | history
examples/torus.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.