github.com/coq/opam-coq-archive
Geometry in Coq for French high-school
opam install coq-high-school-geometry.8.11.0