logic-classes
Framework for propositional and first order logic, theorem proving
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 9 years ago
1.7.1
over 9 years ago
Versions
20
20
Downloads
13,911 total
13,911 total
Dependent Packages
1
1
No dependent packages found.
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
Links
| Registry | hackage.haskell.org |
| Source | Repository |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/logic-classes
spec |
| License | BSD-3-Clause |
| First Release | over 14 years ago |
| Last Synced | 17 days ago |
Repository
| Stars | 7 on GitHub |
| Forks | 2 on GitHub |