package coq-mtac2
Mtac2: Typed Tactics for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.4-coq8.17.tar.gz
sha512=d98d39ff05295350e30081ce46928615594c902779284646324f5f4e7536fcc5c09cf992f0a15d73a3542bbbcd2a46c884dbf2e87bf14d9b1712887c0d0e3bfb
Description
Dependencies (3)
-
coq-unicoq
>= "1.5" & < "2~"
-
coq
>= "8.17" & < "8.18~"
- ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page