package lambdapi

  1. Overview
  2. Docs
module Coq : sig ... end

Translate the parser-level AST to Coq.

module Dk : sig ... end

Export a Lambdapi signature to Dedukti.

module Hrs : sig ... end

This module provides a function to translate a signature to the HRS format used in the confluence competition.

module Rawdk : sig ... end

Translate the parser-level AST to Dedukti.

module Xtc : sig ... end

This module provides a function to translate a simply typed signature to the XTC format used in the termination competition.

OCaml

Innovation. Community. Security.