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