Report copyright - Formalizing Projective Geometry in Coq - Inriagalapagos.gforge.inria.fr/June2008/ProjectiveGeometry-23... · 2012-01-20 · Formalizing Projective Geometry in Coq Nicolas Magaud,
Please pass captcha verification before submit form
Please pass captcha verification before submit form