package lambdapi

  1. Overview
  2. Docs
package lambdapi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module HandleSource

Sourcemodule Command : sig ... end

Handling of commands.

Sourcemodule Compile : sig ... end

High-level compilation functions.

Sourcemodule Fol : sig ... end

Configuration for tactics based on first-order logic.

Sourcemodule Inductive : sig ... end

Generation of induction principles.

Sourcemodule Proof : sig ... end

Proofs and tactics.

Sourcemodule Query : sig ... end

Handling of queries.

Sourcemodule Rewrite : sig ... end

Implementation of the rewrite tactic.

Sourcemodule Tactic : sig ... end

Handling of tactics.

Sourcemodule Why3_tactic : sig ... end

Calling a prover using Why3.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct