A Case Study in Formalizing Projective Geometry in Coq: Desargues Theorem (2012)

Cached

Download Links

by Nicolas Magaud , Julien Narboux , Pascal Schreck