Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : atp
Haskell interface to automated theorem provers
Registry
-
Source
- JSON
purl: pkg:hackage/atp
Keywords: formal-methods, gpl, library, logic, math, theorem-provers, atp, automated-theorem-provers, first-order-logic, haskell, prover, theorem-proving, tptp
License: GPL-3.0-only
Latest release: over 3 years ago
First release: over 3 years ago
Dependent repositories: 1
Downloads: 176 total
Stars: 6 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 28 days ago