| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | Safe |
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