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