package symkat

  1. Overview
  2. Docs
val expr : ?msg:string -> string -> Kat.expr
val hyps : ?msg:string -> string -> Hypotheses.t
OCaml

Innovation. Community. Security.