Mercurial > repo

view wisdom/perfunctory @ 10383:e17b6a65709b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<Jafet> learn PCP refers to probably cyclidine proofs. It is precipitously illegal in many places, but research has shown that PCP is, surprisingly, No Problem.
author HackBot
date Fri, 10 Mar 2017 03:40:04 +0000
parents 1063e9a44522
children
line wrap: on
line source

A perfunctory proof is a category-theoretical proof that cites Per Martin-Löf.