dedukti

The Dedukti logical framework
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

kernel

Documentation:

parser

Documentation:

  • Tokens
  • Lexer
  • Internals
  • Preterm
  • Scoping
  • Menhir_parser
  • Parser