# tableaux: An interactive theorem prover based on semantic tableaux

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

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

License | BSD-3-Clause |

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

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

Category | Theorem Provers |

Uploaded | by PedroVasconcelos at Fri Apr 5 16:05:04 UTC 2013 |

Distributions | NixOS:0.2 |

Executables | tableaux.cgi |

Downloads | 895 total (9 in the last 30 days) |

Rating | (no votes yet) [estimated by rule of succession] |

Your Rating | |

Status | Docs not available [build log] Last success reported on 2016-12-21 [all 7 reports] Hackage Matrix CI |

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]

## Downloads

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