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
»
Index
Edit on GitHub
Index
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
.