# Category:Proofs

Jump to navigation
Jump to search

Proofs, and sketches of proofs, that some esoteric programming language or other is or isn't of a certain computational class, or something like that.

Some of these proofs may not be particularly rigorous. We can only hope they are not so egregiously fallacious as to make your web browser burst into flames upon displaying them.

## Pages in category "Proofs"

The following 23 pages are in this category, out of 23 total.