# 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.

[Skip to Readme]

## Properties

Versions | 0.1, 0.2 |
---|---|

Dependencies | base (==4.*), cgi (>=3001.1), containers, haskell98, html (>=1.0), mtl (>=1.1), parsec (>=2.1 && <3), QuickCheck (>=2.1) [details] |

License | BSD3 |

Author | Pedro Vasconcelos <pbv@ncc.up.pt> |

Maintainer | Pedro Vasconcelos <pbv@ncc.up.pt> |

Stability | Unknown |

Category | Theorem Provers |

Uploaded | Thu Sep 23 11:45:31 UTC 2010 by PedroVasconcelos |

Distributions | NixOS:0.2 |

Downloads | 531 total (5 in the last 30 days) |

Votes | |

Status | Docs not available [build log] All reported builds failed as of 2015-11-25 [all 5 reports] |

## Downloads

- tableaux-0.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)