To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
A linter for logic languages
Install
Authors
Maintainers
Sources
dolmen-0.8.1.tbz
sha256=80fc33ae81817a79c6e6b2f6c01c4cfcc0af02bfe4d2d1b87cf70b84cdde3928
sha512=3a44a99bce871161bc70cf909c813e9e6c91c590873cbc163c69b2ec90ab5be65bf0bf45430bc8d00d85d75cf0af004b06b8f5f1c9d4d47c8a30ab9f28762c04
Description
The dolmen binary is an instantiation of the Dolmen library to provide a binary to easily parse and type files used in automated deduction.
Dependencies (8)
-
cmdliner
>= "1.1.0"
- fmt
-
dune
>= "3.0"
-
dolmen_model
= version
-
dolmen_loop
= version
-
dolmen_type
= version
-
dolmen
= version
-
ocaml
>= "4.02.3"
Dev Dependencies (1)
-
odoc
with-doc
Used by
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page