{"id":238327,"name":"tableaux","ecosystem":"hackage","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.","homepage":null,"licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":null,"keywords_array":["bsd3","program","theorem-provers","Propose Tags"],"namespace":null,"versions_count":3,"first_release_published_at":"2010-09-23T11:45:31.000Z","latest_release_published_at":"2023-07-21T16:57:28.000Z","latest_release_number":"0.3","last_synced_at":"2026-09-27T00:22:17.335Z","created_at":"2022-04-06T02:24:55.315Z","updated_at":"2026-09-27T00:22:17.335Z","registry_url":"https://hackage.haskell.org/package/tableaux","install_command":"cabal install tableaux","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":2209,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":56.81591455900475,"dependent_repos_count":55.143477495452146,"dependent_packages_count":12.217592864268529,"stargazers_count":null,"forks_count":null,"average":41.39232830624181},"purl":"pkg:hackage/tableaux","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/tableaux","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/tableaux","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/tableaux/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/tableaux/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/tableaux/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/tableaux/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/tableaux/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/tableaux/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/tableaux/codemeta","maintainers":[{"uuid":"PedroVasconcelos","login":"PedroVasconcelos","name":null,"email":null,"url":null,"packages_count":5,"html_url":"https://hackage.haskell.org/user/PedroVasconcelos","role":null,"created_at":"2022-11-14T20:00:03.966Z","updated_at":"2022-11-14T20:00:03.966Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/PedroVasconcelos/packages"}]}