Hets - the Heterogeneous Tool Set

Copyright(c) Kristina Sojakova, DFKI Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

DFOL.Logic_DFOL

Description

Ref: Florian Rabe: First-Order Logic with Dependent Types. IJCAR 2006, pages 377-391.

Documentation