package dedukti

  1. Overview
  2. Docs

dedukti 2.7

Libraries

This package provides the following libraries (via ocamlobjinfo):

dedukti.api

Documentation:

dedukti.kernel

Documentation:

dedukti.parsers

Documentation: