Mercurial > repo
log wisdom/tall @ 12239:7c23c10f2ff4 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. |