coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Formal Geometry with Coq / Geogebra interface

From: Christopher Goyet <goyet.christopher AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Formal Geometry with Coq / Geogebra interface
Date: Tue, 28 Apr 2015 12:23:19 +0200

Hello,

I'm looking for geometry libraries in coq, and more precisely I would be interested by the library developed by Tuan Minh Pham. I read his thesis but I can not find the source code.
Anyone know where I could find it?

As a math teacher, i'm also interested by the interface for geometry proving with Geogebra and coq developed by Galapagos project. This project with geogebra is it still in developement? is there a way to test it ?

Thanks,

Christopher Goyet

[Coq-Club] Formal Geometry with Coq / Geogebra interface, Christopher Goyet, 04/28/2015
- RE: [Coq-Club] Formal Geometry with Coq / Geogebra interface, Soegtrop, Michael, 04/28/2015
- Re: [Coq-Club] Formal Geometry with Coq / Geogebra interface, Frédéric Blanqui, 04/28/2015
  - Re: [Coq-Club] Formal Geometry with Coq / Geogebra interface, Christophe Bal, 04/28/2015
    - Re: [Coq-Club] Formal Geometry with Coq / Geogebra interface, Julien Narboux, 04/30/2015
      - Re: [Coq-Club] Formal Geometry with Coq / Geogebra interface, Christophe Bal, 04/30/2015