github.com/coq/opam-coq-archive
Basis of the Euclid's plane geometry
opam install coq-euclidean-geometry.8.10.0