package coq-ltac2
A tactic language for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
0.2.tar.gz
sha256=20120ace91e3269294926e0ea163a3f0da6a731c327f1276ad7e55b024b8d6f6
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page