coq-ltac-iter

Coq plugin to iterate various collections

opam install coq-ltac-iter.1.0.0
homepage
https://github.com/gmalecha/coq-ltac-iter
license
MIT
bugs tracker
https://github.com/gmalecha/coq-ltac-iter/issues
dependencies
coq-plugin-utils >= 1.1.0 & coq >= 8.5
source
https://github.com/gmalecha/coq-ltac-iter/archive/v1.0.0-8.5.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-ltac-iter/coq-ltac-iter.1.0.0