package coq-mtac2
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Typed tactic language for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.4-coq8.20.tar.gz
sha512=f1a79cba34996f21204cda9cafe024768e6ab676dd7058523a33fe89a1dd7dfbe0752d63aa90086d12c4ead69739c9b9edc68ae4af9aa9abc0da9a4fb9ae3c6a
Description
Published: 22 Nov 2024
Dependencies (2)
-
coq-unicoq
>= "1.5" & < "2~"
-
coq
>= "8.20" & < "8.21"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page