package dedukti

  1. Overview
  2. Docs

dedukti 2.7

Libraries

This package provides the following libraries (via ocamlobjinfo):

parsers

Documentation:

kernel

Documentation:

api

Documentation: