Hets - the Heterogeneous Tool Set

Copyright(c) Simon Ulbricht Uni Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertekknix@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

GUI.GtkAutomaticProofs

Description

This module provides a GUI for the automatic proofs module.

Synopsis

Documentation

showAutomaticProofs :: GInfo -> LibEnv -> IO (Result LibEnv) Source #

Displays the consistency checker window

data Finder Source #

Data structure for saving the user-selected prover and comorphism

Constructors

Finder 

Fields

Instances

Eq Finder Source # 

Methods

(==) :: Finder -> Finder -> Bool

(/=) :: Finder -> Finder -> Bool