package msat

  1. Overview
  2. Docs
type lemma
type proof
type formula
val print : Format.formatter -> formula -> unit
val prove : Format.formatter -> lemma -> unit
val context : Format.formatter -> proof -> unit
OCaml

Innovation. Community. Security.