Mercurial > repo
log wisdom/tall @ 12242:4cb3e3831a45 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. |