Home
About Coq
Get Coq
Documentation
Community
The Coq Proof Assistant
Keyword: homogeneous coordinates model
ProjectiveGeometry
: Projective Geometry
Julien Narboux , Nicolas Magaud, Pascal Schreck