The Proper package

[ Tags: bsd3, library, program, unclassified ] [ Propose Tags ]

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:
Executables Proper-tests, Proper
Downloads 2611 total (24 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees