The tableaux package

[Tags: bsd3, program]

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.


Versions0.1, 0.2
Change logNone available
Dependenciesbase (==4.*), cgi (>=3001.1), containers, haskell98, html (>=1.0), mtl (>=1.1), parsec (>=2.1 && <3), QuickCheck (>=2.1)
AuthorPedro Vasconcelos <>
MaintainerPedro Vasconcelos <>
CategoryTheorem Provers
UploadedThu Sep 23 11:45:31 UTC 2010 by PedroVasconcelos
Downloads384 total (19 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-06-08 [all 2 reports]


Maintainers' corner

For package maintainers and hackage trustees