package lambdapi

  1. Overview
  2. Docs

Abstract representation of a proof.

type t
val equal : t -> t -> bool
val fold : ('a -> Tactic.t -> int -> 'a) -> 'a -> t -> 'a
OCaml

Innovation. Community. Security.