github.com/coq/opam-coq-archive
Implementation and verification of safe conversion and typechecking algorithms for Coq
opam install coq-metacoq-safechecker.1.0~beta1+8.12