package dedukti

  1. Overview
  2. Docs
val are_convertible : Signature.t -> Term.term -> Term.term -> bool
val constraint_convertibility : Rule.constr -> Rule.rule_name -> Signature.t -> Term.term -> Term.term -> bool
OCaml

Innovation. Community. Security.