Mercurial > repo

log wisdom/perfunctory @ 9049:b83e352dc7f7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Thu, 16 Jun 2016 05:02:18 +0000 HackBot <shachaf> learn A perfunctory proof is a category-theoretical proof that cites Per Martin-L\xc3\xb6f.
less more | (0) tip