Projective Geometry

MaRDI QIDQ7361729FDO

Authors Anthony Bordg

Publication date 14 June 2018

Cites work

• A case study in formalizing projective geometry in Coq: Desargues theorem
• Unnamed Publication
• On the mechanization of the proof of Hessenberg's theorem in coherent logic

This page was built for software: Projective Geometry