| 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.
- showAutomaticProofs :: GInfo -> LibEnv -> IO (Result LibEnv)
- data Finder = Finder {
- fName :: String
- finder :: G_prover
- comorphism :: [AnyComorphism]
- selected :: Int