package dedukti

  1. Overview
  2. Docs

Dedukti's current version.

val version : string
OCaml

Innovation. Community. Security.