]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2cd6f77) | patch
torus = two circles proof
authorDan Licata <drl@cs.cmu.edu>
Fri, 1 May 2015 14:35:02 +0000 (10:35 -0400)
committerDan Licata <drl@cs.cmu.edu>
Fri, 1 May 2015 14:35:02 +0000 (10:35 -0400)
commit81c8205dbb9f0aee98d7257e3dcfa6bc1f485a65
tree30c07ad4c0c066376b75913e73578eb3d9f9012ctree | snapshot
parent2cd6f77ca1829577e5f8b0556521f77fef546741commit | diff
torus = two circles proof
examples/torus.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.