A case study in formalizing projective geometry in Coq: Desargues theorem

MAGAUD, Nicolas, NARBOUX, Julien et SCHRECK, Pascal, 2012. A case study in formalizing projective geometry in Coq: Desargues theorem. Computational Geometry [en ligne]. octobre 2012. Vol. 45, n° 8pp. 406-424. [Consultésans date]. DOI 10.1016/j.comgeo.2010.06.004. Consulté de : https://www.sciencedirect.com/science/article/pii/S0925772112000247?via%3Dihub1. .