lambdapi
Proof assistant for the λΠ-calculus modulo rewriting
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package lambdapi
-
lambdapi.tool
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library lambdapi.tool
Module
Tool
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.
ON THIS PAGE
No table of contents