Lambdapi User Manual
latest
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
Index
Edit on GitHub
Index
Read the Docs
v: latest
Versions
latest
stable
Downloads
On Read the Docs
Project Home
Builds