Home / Coq / Type Theory and Mathematics > Four Color Theorem Type Theory and Mathematics > Four Color Theorem Formal proof of the Four Color Theorem, a landmark result of graph theory. Package 228 stars GitHub Back to Coq
