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.


Dependencies base (<6), containers, HUnit, parsec, syb [details]
License BSD3
Author Dillon Huff
Maintainer Dillon Huff
Home page
Uploaded Mon Nov 3 01:31:32 UTC 2014 by dillonhuff
Distributions NixOS:
Downloads 1625 total (32 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees