coq-ltac2

A tactic language for Coq.

opam install coq-ltac2.0.1-8.7
homepage
https://github.com/ppedrot/ltac2
license
LGPL 2.1
bugs tracker
https://github.com/ppedrot/ltac2/issues
dependencies
coq (>= 8.7 & < 8.8)
source
https://github.com/ppedrot/ltac2/archive/v0.1-8.7.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-ltac2/coq-ltac2.0.1-8.7