github.com/coq/opam-coq-archive
A formalisation of the Calculus of Construction
opam install coq-coq-in-coq.8.10.0