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

• Readme
• Versions 20
• Dependent Packages 1
• Maintainers 1