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

[ bsd3, library, logic, theorem-provers ] [ Propose Tags ]

This package is a liberal translation from OCaml to Haskell of the automated theorem prover written in OCaml in John Harrison's book "Practical Logic and Automated Reasoning". Click on module ATP below for an overview.

Versions [faq] 1.7, 1.8, 1.9, 1.10, 1.13, 1.14
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 2016-09-12T13:17:17Z
Distributions NixOS:1.14
Downloads 3379 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2016-09-12 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees