hackage.haskell.org : logic-classes
Framework for propositional and first order logic, theorem proving
Registry
-
Source
- JSON
- codemeta.json
purl: pkg:hackage/logic-classes
Keywords:
bsd3
, library
, logic
, theorem-provers
, Propose Tags
License: BSD-3-Clause
Latest release: over 9 years ago
First release: over 14 years ago
Dependent packages: 1
Downloads: 13,845 total
Stars: 7 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 1 month ago