DMCA

Formal Proof -- The Four-Color Theorem (2008)

by Georges Gonthier
Citations:62 - 8 self