coq-tactician

Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq

opam install coq-tactician.1.0~beta1+8.13
homepage
https://coq-tactician.github.io
license
bugs tracker
https://github.com/coq-tactician/coq-tactician/issues
dependencies
"ocaml" {>= "4.08"} "dune" {>= "2.5"} "opam-client" {>= "2.1.0~beta2"} "cmdliner" "coq" {>= "8.13" & < "8.14~"} "coq-tactician-dummy"
source
https://github.com/coq-tactician/coq-tactician/archive/1.0-beta1-8.13.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.13