Hets - the Heterogeneous Tool Set

Copyright(c) Thiemo Wiedemeyer, Uni Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerraider@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

GUI.GtkProverGUI

Description

This module provides a GUI for the prover.

Synopsis

Documentation

showProverGUI

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