projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4d4844) | patch
Refactoring and move old code on equivalences to experiments folder
authorAnders Mörtberg <andersmortberg@gmail.com>
Mon, 4 Jan 2016 18:18:40 +0000 (19:18 +0100)
committerAnders Mörtberg <andersmortberg@gmail.com>
Mon, 4 Jan 2016 18:18:40 +0000 (19:18 +0100)
commit26b70046ce7e45197f14ead82daae7e0354e9945
tree45a5059156a8487b322123222506d718749dbaf9tree | snapshot
parentd4d4844b16bd521444bc445dec9cf9d10765deaccommit | diff
Refactoring and move old code on equivalences to experiments folder
examples/equiv.ctt diff | blob | blame | history
examples/testEquiv.ctt [deleted file] blob | blame | history
examples/testUniv.ctt diff | blob | blame | history
experiments/equiv.ctt [new file with mode: 0644] blob
experiments/gradLemma.ctt [moved from examples/gradLemma.ctt with 98% similarity] diff | blob | blame | history
experiments/univalence.ctt [moved from examples/univalence.ctt with 94% similarity] diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.