Report copyright - Formalizing Projective Plane Geometry in Coq · This paper deals with formalizing projective plane geometry. Projective plane geometry can be described by a fairly simple set of axioms
Please pass captcha verification before submit form