The Coq mailing list

[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