Missing theorems from Freek Wiedijk's list of 100 theorems #

These theorems are not yet formalized in Lean. Here is the list of the formalized theorems.

• 5: Prime Number Theorem

• 6: Godel’s Incompleteness Theorem

• 8: The Impossibility of Trisecting the Angle and Doubling the Cube

• 12: The Independence of the Parallel Postulate

• 13: Polyhedron Formula

• 21: Green’s Theorem

• 28: Pascal’s Hexagon Theorem

• 29: Feuerbach’s Theorem

• 30: The Ballot Problem

• 32: The Four Color Problem

• 33: Fermat’s Last Theorem

• 35: Taylor’s Theorem

• 36: Brouwer Fixed Point Theorem

• 40: Minkowski’s Fundamental Theorem

• 41: Puiseux’s Theorem

• 43: The Isoperimetric Theorem

• 45: The Partition Theorem

• 46: The Solution of the General Quartic Equation

• 47: The Central Limit Theorem

• 48: Dirichlet’s Theorem

• 50: The Number of Platonic Solids

• 53: Pi is Transcendental

• 54: Konigsberg Bridges Problem

• 56: The Hermite-Lindemann Transcendence Theorem

• 59: The Laws of Large Numbers

• 61: Theorem of Ceva

• 62: Fair Games Theorem

• 81: Divergence of the Prime Reciprocal Series

• 84: Morley’s Theorem

• 87: Desargues’s Theorem

• 90: Stirling’s Formula

• 92: Pick’s Theorem

• 98: Bertrand’s Postulate

• 99: Buffon Needle Problem

• 100: Descartes Rule of Signs