@hackage tableaux0.2

An interactive theorem prover based on semantic tableaux

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      Pedro Vasconcelos <pbv@ncc.up.pt>

    • Links

    • Versions

      • 0.3 Fri, 21 Jul 2023
      • 0.2 Fri, 5 Apr 2013
      • 0.1 Thu, 23 Sep 2010

    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.