| Copyright | (c) Liam O'Reilly and Markus Roggenbach, Swansea University 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | csliam@swansea.ac.uk |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CspCASLProver.CspCASLProver
Description
Interface for CspCASLProver theorem prover.
Documentation
cspCASLProver :: Prover CspCASLSign CspCASLSen CspCASLMorphism () ()
The wrapper function that is CspCASL Prover