package dedukti

  1. Overview
  2. Docs
exception Scoping_error of Kernel.Basic.loc * string

Scope managmement: from preterms to terms.

OCaml

Innovation. Community. Security.