github.com/coq/opam-coq-archive
Geometry for French high-school
opam install coq-high-school-geometry.8.6.0