Mercurial > repo
log wisdom/tall @ 12314:e7e9a95f76de draft
age | author | description |
---|---|---|
Thu, 16 Jun 2016 05:03:12 +0000 | HackBot | <\oren\> learn A Tall proof is a proof with a small hole, which can only be filled by another Tall proof. |
age | author | description |
---|---|---|
Thu, 16 Jun 2016 05:03:12 +0000 | HackBot | <\oren\> learn A Tall proof is a proof with a small hole, which can only be filled by another Tall proof. |