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
  • Search

© Copyright 2020, Inria.

Built with Sphinx using a theme provided by Read the Docs.