package coq-mathcomp-zify
Micromega tactics for Mathematical Components
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.0+1.12+8.13.tar.gz
sha256=813072984b3702071efa42b82ce3d9ea7d0b013e554ec78446f3da1248ffbce0
Description
This small library enables the use of the Micromega tactics for goals stated with the definitions of the Mathematical Components library by extending the zify tactic.
Dependencies (3)
- coq-mathcomp-algebra
-
coq-mathcomp-ssreflect
(>= "1.12" & < "1.17~") -
coq
(>= "8.13" & < "8.17~")
Dev Dependencies
None
Used by (2)
-
coq-algorand
>= "1.4" - coq-gaia-hydras
Conflicts
None
On This Page