The atp-haskell package

[Tags:bsd3, library, test]

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.

Properties

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 BSD3
Author John Harrison
Maintainer David Fox <dsf@seereason.com>
Stability Unknown
Category Logic, Theorem Provers
Home page https://github.com/seereason/atp-haskell
Bug tracker https://github.com/seereason/atp-haskell/issues
Source repository head: git clone https://github.com/seereason/atp-haskell
Uploaded Mon Sep 12 13:17:17 UTC 2016 by DavidFox
Distributions NixOS:1.14
Downloads 313 total (6 in the last 30 days)
Votes
0 []
Status 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