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