The Coq mailing list

[Christophe Bal <projetmbc AT gmail.com>]

Hello.

I am also a math teacher and I would be happy to try to contribute in such a project.

Christophe BAL

Enseignant de mathématiques en Lycée et développeur Python amateur

---

French math teacher in a "Lycée" and Python amateur developer

2015-04-28 15:23 GMT+02:00 Frédéric Blanqui <frederic.blanqui AT inria.fr>:

Hello. You may be interested by the formalization of Tarski's geometry by Gabriel Braun, Julien Narboux and Pierre Boutry. See http://dpt-info.u-strasbg.fr/~narboux/tarski.html .

Le 28/04/2015 12:23, Christopher Goyet a écrit :

Hello,

I'm looking for geometry libraries in coq, and more precisely I would be interested bythe 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