package lambdapi

  1. Overview
  2. Docs
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 Xtc : sig ... end

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

OCaml

Innovation. Community. Security.