github.com/coq/opam-coq-archive
A formalization of foundations of geometry in Coq
opam install coq-geocoq-axioms.2.4.0