atp-haskell: Translation from Ocaml to Haskell of John Harrison's ATP code

[ bsd3, library, logic, theorem-provers ] [ Propose Tags ]
Versions [RSS] 1.7, 1.8, 1.9, 1.10, 1.13, 1.14, 1.14.1, 1.14.2, 1.14.3 (info)
Dependencies applicative-extras, base (>=4.8 && <5), containers, extra, HUnit, mtl, parsec, pretty (>=1.1.2), template-haskell, time [details]
License BSD-3-Clause
Author John Harrison
Maintainer David Fox <dsf@seereason.com>
Category Logic, Theorem Provers
Home page https://github.com/seereason/atp-haskell
Bug tracker https://github.com/seereason/atp-haskell/issues
Source repo head: git clone https://github.com/seereason/atp-haskell
Uploaded by DavidFox at 2024-04-03T19:38:45Z
Distributions
Reverse Dependencies 2 direct, 2 indirect [details]
Downloads 4208 total (22 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-04-03 [all 1 reports]