dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

dolmen_type

Documentation:

Dependencies: spelll, uutf, dolmen, dolmen.std, dolmen.intf, dolmen.smtlib2, dolmen.tptp