package coq-mtac2
Mtac2: Typed Tactics for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.4-coq8.16.tar.gz
sha512=f668ecbefe3144c04110d2b27a8fd38f0ac675c15824ac12e1b6d58e80078c64854ab1f787584dd9a596dc71311d70ba2cf5f9d9a8815427b4a7328e401fe6f5
Description
Dependencies (3)
-
coq-unicoq
>= "1.5" & < "2~" -
coq
>= "8.16" & < "8.17~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page