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