package coq-mtac2
Typed tactic language for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.4-coq9.0.tar.gz
sha512=aa708bf156cc4d3ce09df489edc0dc65bd46d0c52a8417a6c06808ee28eb1358a31600e44239eea6fbb6d94e87e22831e31c24efff85fcad0bb3839b00949ab9
Description
Published: 24 Oct 2025
Dependencies (2)
-
coq-unicoq
>= "1.5" & < "2~" -
coq
>= "9.0~"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page