Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Formal Proof of the Four Color Theorem in Coq
github.com/math-comp
3 points
dbieber
7 years ago
No comment yet
Formal Proof of the Four Color Theorem in Coq | Heykuki News