Proper: An implementation of propositional logic in Haskell

[ 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.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 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 BSD-3-Clause
Author Dillon Huff
Maintainer Dillon Huff
Home page https://github.com/dillonhuff/Proper
Uploaded by dillonhuff at 2014-11-03T01:31:32Z
Distributions NixOS:0.5.2.0
Reverse Dependencies 3 direct, 1 indirect [details]
Executables Proper-tests, Proper
Downloads 5509 total (23 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]