Mercurial > repo

view wisdom/tall @ 9401:7ad94f9b88a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<Zarutian> le/rn religious nut/ This nut should never be eaten as it make people think they are pious but it actually doesnt. Found on the burning bush.
author HackBot
date Sat, 22 Oct 2016 21:56:49 +0000
parents 9c2aad7ba4eb
children
line wrap: on
line source

A Tall proof is a proof with a small hole, which can only be filled by another Tall proof.