Lambdapi User Manual
What is Lambdapi?
Getting started
Command line interface
User interfaces
Module system
Syntax of terms
Commands
Proof mode
Proof tactics
Proof tactics on equality
Tacticals
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
Include Lambdapi code in a Latex document
View page source
Include Lambdapi code in a Latex document
With the
listings
package:
You need to include
lambdapi.tex
.
See an example
here
.