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

[ bsd3, library, logic, theorem-provers ] [ Propose Tags ]
Versions 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 <>
Category Logic, Theorem Provers
Home page
Bug tracker
Source repo head: git clone
Uploaded by DavidFox at Mon Sep 12 13:17:17 UTC 2016
Distributions NixOS:1.14
Downloads 1250 total (16 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-09-12 [all 1 reports]
Hackage Matrix CI

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.




Maintainer's Corner

For package maintainers and hackage trustees