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