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