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.


Properties

Versions0.1, 0.2
Dependenciesbase (==4.*), cgi (>=3001.1), containers, html (>=1.0), mtl (>=1.1), parsec (>=2.1), QuickCheck (>=2.1)
LicenseBSD3
AuthorPedro Vasconcelos <pbv@ncc.up.pt>
MaintainerPedro Vasconcelos <pbv@ncc.up.pt>
CategoryTheorem Provers
Executablestableaux.cgi
Upload dateFri Apr 5 16:05:04 UTC 2013
Uploaded byPedroVasconcelos
Downloads208 total (17 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees