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
, Propose Tags
, atp
, automated-theorem-provers
, first-order-logic
, haskell
, prover
, theorem-proving
, tptp
License: GPL-3.0-only
Latest release: over 4 years ago
First release: over 4 years ago
Dependent repositories: 1
Downloads: 223 total
Stars: 9 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 27 days ago