github.com/coq/opam-coq-archive
A Proof of the Three Gap Theorem (Steinhaus Conjecture)
opam install coq-three-gap.8.10.0