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
-
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
-
32: The Four Color Problem
-
33: Fermat’s Last Theorem
-
41: Puiseux’s Theorem
-
43: The Isoperimetric 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
-
56: The Hermite-Lindemann Transcendence Theorem
-
61: Theorem of Ceva
-
84: Morley’s Theorem
-
87: Desargues’s Theorem
-
92: Pick’s Theorem