package dedukti

  1. Overview
  2. Docs

dedukti 2.6.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

dedukti

Documentation:

    dedukti.kernel

    Documentation:

    dedukti.parser

    Documentation:

    • Tokens
    • Lexer The lexical analyzer
    • Internals
    • Preterm
    • Scoping
    • Menhir_parser
    • Parser
    OCaml

    Innovation. Community. Security.