coq-ltac-iter

Access hint databases from tactics

opam install coq-ltac-iter.1.1.2
homepage
https://github.com/gmalecha/coq-ltac-iter
license
BSD
bugs tracker
https://github.com/gmalecha/coq-ltac-iter/issues
dependencies
"ocaml" "coq" {>= "8.11" & < "8.12~"}
source
https://github.com/gmalecha/coq-ltac-iter/archive/v1.1.2.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-ltac-iter/coq-ltac-iter.1.1.2