Coq OPAMcoq-tactician
Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq
opam install coq-tactician.1.0~beta1+8.12
- 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.12" & < "8.13~"} "coq-tactician-dummy"
- source
- https://github.com/coq-tactician/coq-tactician/archive/1.0-beta1-8.12.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.12