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