| Copyright | (c) Simon Ulbricht Uni Bremen 2010 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | tekknix@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
GUI.GtkAutomaticProofs
Description
This module provides a GUI for the automatic proofs module.
Synopsis
- showAutomaticProofs :: GInfo -> LibEnv -> IO (Result LibEnv)
- data Finder = Finder {
- fName :: String
- finder :: G_prover
- comorphism :: [AnyComorphism]
- selected :: Int
Documentation
showAutomaticProofs :: GInfo -> LibEnv -> IO (Result LibEnv) Source #
Displays the consistency checker window
Data structure for saving the user-selected prover and comorphism
Constructors
| Finder | |
Fields
| |