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