The tableaux package
This is a simple web-based interactive theorem prover using semantic tableaux for propositional and first-order logic (cf. First-Order Logic, Raymond Smullyan, Dover). It allows step-by-step construction of proofs and runs on any web server supporting the CGI interface.
Properties
| Version | 0.1 |
|---|---|
| Dependencies | base (4.*), cgi (≥3001.1), containers, haskell98, html (≥1.0), mtl (≥1.1), parsec (≥2.1 & <3), QuickCheck (≥2.1) |
| License | BSD3 |
| Author | Pedro Vasconcelos <pbv@ncc.up.pt> |
| Maintainer | Pedro Vasconcelos <pbv@ncc.up.pt> |
| Category | Theorem Provers |
| Executables | tableaux.cgi |
| Upload date | Thu Sep 23 11:45:31 UTC 2010 |
| Uploaded by | PedroVasconcelos |
Downloads
- tableaux-0.1.tar.gz (Cabal source package)
- package description (included in the package)