package coq-mtac2
Typed tactic language for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.4-coq8.19.tar.gz
sha512=4c5f17576bdfa6e127d5901666da640352ad472211bf21cf5ae67944e84ba9bf6306215cfcad83ca2117e29ec40429db8daf7421249e857537a08e827b3c4132
Description
Published: 24 Apr 2024
Dependencies (2)
-
coq-unicoq
>= "1.5" & < "2~"
-
coq
>= "8.19" & < "8.20"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page