# Category:Proofs

From Esolang

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 14 pages are in this category, out of 14 total.