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
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 |