coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] A question about Gonthier's Four Colour Theorem proof

From: <neva.slani AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] A question about Gonthier's Four Colour Theorem proof
Date: Fri, 18 May 2012 19:46:21 +0200 (CEST)

Dear Coq connoisseurs,
my simple question is - is there some publicly available Gonthier's code?

Thanks in advance for your answer(s),

Neva

Neva Slani,
University of Rijeka,
Croatia

[Coq-Club] A question about Gonthier's Four Colour Theorem proof, neva.slani, 05/18/2012