Mercurial > repo
log wisdom/tall @ 12274:3c04e9ef7a3a 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. |