Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

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
purl: pkg:hackage/tableaux
Keywords: bsd3, program, theorem-provers
License: BSD-3-Clause
Latest release: 10 months ago
First release: over 13 years ago
Downloads: 1,985 total
Last synced: 27 days ago

Readme