projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a331f1d) | patch
Remove one more instance of "graduate lemma"
authorMike Shulman <shulman@sandiego.edu>
Thu, 7 Sep 2017 04:45:19 +0000 (21:45 -0700)
committerMike Shulman <shulman@sandiego.edu>
Thu, 7 Sep 2017 04:45:19 +0000 (21:45 -0700)
commit40254cc19da214014b82730fc6cfaa6b876a37d6
treeb326a4e8350fd3ce3bbb41d7648432be19c5081ftree | snapshot
parenta331f1d355c5d2fc608a59c1cbbf016ea09d6debcommit | diff
Remove one more instance of "graduate lemma"
examples/README.md diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.