Hets - the Heterogeneous Tool Set

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

Omega

Description

The Omega folder contains the unfinished skeleton of an instance of Logic.Logic for logic of the theorem prover Omega. See https://page.mi.fu-berlin.de/cbenzmueller/papers/C11.pdf