hackage.haskell.org : atp-haskell
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
Registry
-
Source
- JSON
purl: pkg:hackage/atp-haskell
Keywords:
bsd3
, library
, logic
, theorem-provers
, Propose Tags
License: BSD-3-Clause
Latest release: over 1 year ago
First release: over 9 years ago
Dependent repositories: 3
Downloads: 4,379 total
Stars: 16 on GitHub
Forks: 4 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 23 days ago