package coq-mtac2
Typed tactic language for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.4-rocq9.1.tar.gz
sha512=d11f2e0ba99dde1f1d6be0657a80fb15032e70841bcb5e14e595970f3d501eb71a5295baaefde8768eb1f4475688443f94d3081c4f57d6ff051281b0ddff44e9
Description
Published: 09 Jul 2026
Dependencies (2)
-
coq-unicoq
>= "1.5" & < "2~" -
coq
>= "9.1"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page