coq-tactician-dummy

A dummy implementation of Tactician

opam install coq-tactician-dummy.1.0~beta1
homepage
https://coq-tactician.github.io
license
bugs tracker
https://github.com/coq-tactician/coq-tactician-dummy/issues
dependencies
"coq" {>= "8.6.1"} "dune" {>= "2.5"}
source
https://github.com/coq-tactician/coq-tactician-dummy/archive/1.0-beta1.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-tactician-dummy/coq-tactician-dummy.1.0~beta1