lambdapi.tool
Tool
lambdapi.common
lambdapi.core
lambdapi.export
lambdapi.handle
lambdapi.lplib
lambdapi.lsp
lambdapi.parsing
lambdapi.pure
module External : sig ... end
Provides a function for calling external checkers using a Unix command.
module Lcr : sig ... end
Incremental verification of local confluence
module Sr : sig ... end
Checking that a rule preserves typing (subject reduction property).
module Tree_graphviz : sig ... end
Representation of trees as graphviz files.