Mercurial > repo
view wisdom/perfunctory @ 10736:1a7192618bd0
<rdococ> le//rn egg//Yay! You reached the easter egg! \x02\x034(\x037:\x038|\x039{\x033}\x0311|\x032:\x036)
author | HackBot |
---|---|
date | Sun, 16 Apr 2017 16:20:00 +0000 |
parents | 1063e9a44522 |
children |
line wrap: on
line source
A perfunctory proof is a category-theoretical proof that cites Per Martin-Löf.