FourQlib

成立时间：August 26, 2015

下载

Coq Proof of the Four Color Theorem

2006年4月

人员

Tolga Acar

Principal Software Engineer

Patrick Longa

Senior Researcher

Karen Easterbrook

Sr Principal PM Manager

Craig Costello

Researcher