Home
About Coq
Get Coq
Documentation
Community

The Coq Proof Assistant

Keyword: euclid

EuclideanGeometry: Basis of the Euclid's plane geometry
Jean Duprat

webmaster
xhtml valid
CSS valid