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
module Command : sig ... end
Handling of commands.
module Compile : sig ... end
High-level compilation functions.
module Inductive : sig ... end
Generation of induction principles.
module Proof : sig ... end
Proofs and tactics.
module Query : sig ... end
Handling of queries.
module Rewrite : sig ... end
Implementation of the rewrite tactic.
module Tactic : sig ... end
Handling of tactics.
module Why3_tactic : sig ... end
Calling a prover using Why3.