package coq-mtac2
Mtac2: Typed Tactics for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.1-coq8.9.tar.gz
md5=a29c1a05d6064f7c25f1b7c2b341b772
Description
Published: 09 Feb 2019
Dependencies (3)
-
coq-unicoq
>= "1.3~" & < "2~"
-
coq
>= "8.9.0" & < "8.10~"
- ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page