github.com/coq/opam-coq-archive
General-purpose automated reasoning hammer tool for Coq
opam install coq-hammer.1.3+8.12