https://hal.inria.fr/inria-00202836
Contributeur : Sandrine Blazy
<>
Soumis le : mardi 8 janvier 2008 - 17:12:53
Dernière modification le : mardi 24 avril 2018 - 13:52:20
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:51:47
Jean Duprat. Une axiomatique de la géométrie plane en Coq.. JFLA (Journées Francophones des Langages Applicatifs), Jan 2008, Etretat, France. pp.123-136, 2008. 〈inria-00202836〉
