coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]question about 4-colors theorem

From: Giancarlo Bassi <g.bassi AT iperbole.bologna.it>
To: Coq Club <coq-club AT pauillac.inria.fr>
Subject: [Coq-Club]question about 4-colors theorem
Date: Mon, 12 Feb 2007 17:23:14 +0100 (CET)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi everyone!

I'd like to know whether it's possible through some vernacular COQ file
(or .v file) to reach the full automatic proof of the 4-colors theorem
by an home computer, for the 4-coloration of any geographical map.
Thanks and best regards,

GB

---
"I'm no Pawn, I'm Donald Duck ! "
-- Donald in MathMagic Land

http://g-bassi.wikidot.com

[Coq-Club]question about 4-colors theorem, Giancarlo Bassi