The Proper package

[Tags:bsd3, library, program]

Proper is both an executable theorem prover for Propositional logic and a library for incorporating propositional logic into other Haskell programs. See the github repo for examples of theorem files for the executable.

Properties

Versions 0.1.0.0, 0.2.0.0, 0.3.0.0, 0.4.0.0, 0.4.1.0, 0.4.2.0, 0.5.2.0
Dependencies base (<6), containers, HUnit, parsec, syb [details]
License BSD3
Author Dillon Huff
Maintainer Dillon Huff
Stability Unknown
Home page https://github.com/dillonhuff/Proper
Uploaded Mon Nov 3 01:31:32 UTC 2014 by dillonhuff
Distributions NixOS:0.5.2.0
Downloads 1534 total (13 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees