Lambdapi User Manual
stable
What is Lambdapi?
Getting started
Command line interface
User interfaces
Module system
Syntax of terms
Commands
Proof tactics
Queries
Query Language
Compatibility with Dedukti
Include Lambdapi code in a Latex document
Overview of directories and files
Implementation choices
Decision trees
Testing
Profiling
Lambdapi User Manual
Docs
»
Implementation choices
Edit on GitHub
Implementation choices
¶
Back-tracking in interactive proofs is implemented using the “timed” references of the
Timed
library.
Bindings in terms are implemented using the
Bindlib
library.
Parsing uses the
Menhir
library.
Read the Docs
v: stable
Versions
latest
stable
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.