package coq-mtac2
Mtac2: Typed Tactics for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.0-coq8.7.tar.gz
md5=10fdc9569e0105d40f4ed22b8f92c2a7
Description
Published: 18 Aug 2018
Dependencies (3)
-
coq-unicoq
>= "1.3~" & < "2~" -
coq
>= "8.7.0" & < "8.8~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page