To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
A parser library for automated deduction
Dolmen is a parser library. It currently targets languages used in automated theorem provers, but may be extended to other domains.
Dolmen provides functors that takes as arguments a representation of terms and statements, and returns a module that can parse files (or streams of tokens) into the provided representation of terms or statements. This is meant so that Dolmen can be used as a drop-in replacement of existing parser, in order to factorize parsers among projects.
Additionally, Dolmen also provides a standard implementation of terms and statements that cna be used ot instantiate its parsers.
Used by (8)
sectionYPositions = computeSectionYPositions($el), 10)" x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)" >
On This Page