package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Module `Handle`Source

Sourcemodule Command : sig ... end

Sourcemodule Compile : sig ... end

High-level compilation functions.

Sourcemodule Inductive : sig ... end

Generation of induction principles.

Sourcemodule Proof : sig ... end

Proofs and tactics.

Sourcemodule Query : sig ... end

Sourcemodule Rewrite : sig ... end

Implementation of the rewrite tactic.

Sourcemodule Tactic : sig ... end

Toplevel commands.

Sourcemodule Why3_tactic : sig ... end

Calling a prover using Why3.