package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Command : sig ... end

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

module Rewrite : sig ... end

Implementation of the rewrite tactic.

module Tactic : sig ... end

Toplevel commands.

module Why3_tactic : sig ... end

Calling a prover using Why3.