package universo

  1. Overview
  2. Docs
val axiom_specification : string list * T.term
val rule_specification : string list * T.term
val cumul_specification : string list * T.term
OCaml

Innovation. Community. Security.