package coq
Formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
coq-8.16.1.tar.gz
sha256=583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b
doc/coq-core.boot/Boot/Util/index.html
Module Boot.Util
Source
Add a local installation suffix (unless the suffix is itself absolute in which case the prefix does not matter)
The following only makes sense when executables are running from source tree (e.g. during build or in local mode).
check_file_else ~dir ~file oth
checks if file
exists in the installation directory dir
given relatively to coqroot
, which maybe has been relocated. If the check fails, then oth ()
is evaluated. Using file system equality seems well enough for this heuristic
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>