FourQlib

成立时间：August 26, 2015

下载

Coq Proof of the Four Color Theorem

2006年4月

人员

Tolga Acar

Security Architect

Patrick Longa

Senior Researcher

Karen Easterbrook

Senior Director