{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/tableaux","name":"tableaux","description":"This is a simple web-based interactive theorem prover\nusing semantic tableaux for propositional and first-order logic\n(cf. First-Order Logic, Raymond Smullyan, Dover).\nIt allows step-by-step construction of proofs and runs on any\nweb server supporting the CGI interface.","version":"0.3","softwareVersion":"0.3","license":"https://spdx.org/licenses/BSD-3-Clause","keywords":["bsd3","program","theorem-provers","Propose Tags"],"maintainer":[{"@type":"Person","name":"PedroVasconcelos"}],"author":[{"@type":"Person","name":"PedroVasconcelos"}],"copyrightHolder":[{"@type":"Person","name":"PedroVasconcelos"}],"dateCreated":"2010-09-23","dateModified":"2023-07-21","datePublished":"2023-07-21","copyrightYear":2010,"downloadUrl":"https://hackage.haskell.org/package/tableaux-0.3/tableaux-0.3.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/tableaux"]}