Hets - the Heterogeneous Tool Set

Copyright(c) Otto-von-Guericke University of Magdeburg
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe

CommonLogic

Description

The CommonLogic folder contains the skeleton of an instance of Logic.Logic for Common Logic, see https://en.wikipedia.org/wiki/Common_Logic.