lambdapi.tool
Tool
lambdapi.common
lambdapi.core
lambdapi.handle
lambdapi.lplib
lambdapi.lsp
lambdapi.parsing
lambdapi.pure
module External : sig ... end
Call to external checkers.
module Hrs : sig ... end
This module provides a function to translate a signature to the HRS format used in the confluence competition.
module Sr : sig ... end
module Tree_graphviz : sig ... end
Representation of trees as graphviz files.
module Xtc : sig ... end
This module provides a function to translate a signature to the XTC format used in the termination competition.