How can you formally prove that a specific quine is the shortest for its language?
132917
Shortest Ruby Quine
67650
Short and intuitive proof that $\left(\frac{n}{k}\right)^k \leq \binom{n}{k}$
103463
Mantel's Theorem proof verification
133481
How to find the smallest number with just $0$ and $1$ which is divided by a given number?
9843
Minimal ConTeXt and Husayni example
31340
Concurrent lines proof for a regular 18-gon
158728
Using induction for an easy proof for formal languages
21035
Clarifying on how if p,q is logically equivalent to p only if q
146421
How to prove a total order has a unique minimal element
136918
How to determine the smallest numbers with $n$ factors
32950
Fake induction proofs
101993
The cardinality of a language over a set of variables $V$ with $\#V= κ$
89535
fake proof of $\forall a. \forall b. a = b \to 1 = 0$
147375
Prove :(P → Q) ∨ (Q → P) using natural deduction
137646
show that language $L'$ is regular (given $L$ regular)
27356
Lower bound on proof length
122076
A one line proof that one is zero using Mathematica 10