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

These theorems are not yet formalized in Lean. Currently there are 19 of them. Among these, 0 have their statement formalized. 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

• 47: The Central Limit 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