lambdapi.export
Export
lambdapi.common
lambdapi.core
lambdapi.handle
lambdapi.lplib
lambdapi.lsp
lambdapi.parsing
lambdapi.pure
lambdapi.tool
module Coq : sig ... end
Translate the parser-level AST to Coq.
module Dk : sig ... end
Export a Lambdapi signature to Dedukti.
module Hrs : sig ... end
This module provides a function to translate a signature to the HRS format used in the confluence competition.
module Xtc : sig ... end
This module provides a function to translate a simply typed signature to the XTC format used in the termination competition.