hackage.haskell.org : tableaux
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.
Registry
- JSON
- codemeta.json
purl: pkg:hackage/tableaux
Keywords:
bsd3
, program
, theorem-provers
, Propose Tags
License: BSD-3-Clause
Latest release: over 2 years ago
First release: over 15 years ago
Downloads: 2,129 total
Last synced: about 2 months ago