coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Automated proof for Geometry

From: Christophe BAL <projetmbc AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Automated proof for Geometry
Date: Wed, 20 Jul 2011 16:02:07 +0200

Hello,
I would like to know if someone has made some tools for automated demonstration in plane Geometry using for example the Tarski axioms.

Best regards.
Christophe.

[Coq-Club] Automated proof for Geometry, Christophe BAL
- Re: [Coq-Club] Automated proof for Geometry, Julien Narboux
  - Re: [Coq-Club] Automated proof for Geometry, Marco Servetto
- Re: [Coq-Club] Automated proof for Geometry, Dimitri Hendriks