github.com/coq/opam-coq-archive
A theorem prover for first-order intuitionistic logic
opam install coq-jprover.8.6.0