| Copyright | (c) Thiemo Wiedemeyer Uni Bremen 2008 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | raider@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
GUI.GtkProverGUI
Description
This module provides a GUI for the prover.
Synopsis
- showProverGUI :: ProofActions -> String -> String -> G_theory -> KnownProversMap -> [(G_prover, AnyComorphism)] -> IO (Result G_theory)
Documentation
Arguments
| :: ProofActions | record of possible GUI actions |
| -> String | theory name |
| -> String | warning information |
| -> G_theory | theory |
| -> KnownProversMap | map of known provers |
| -> [(G_prover, AnyComorphism)] | list of suitable comorphisms to provers for sublogic of G_theory |
| -> IO (Result G_theory) |
Displays the consistency checker window