Four Color Theorem
Formal proof of the Four Color Theorem, a landmark result of graph theory.
- from
- Coq
- added
- 2026-10-10
- likes
- 0
Coq › Projects > Type Theory and Mathematics: “Formal proof of the Four Color Theorem, a landmark result of graph theory.”