Proper: An implementation of propositional logic in Haskell

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.

Modules

[Index]

Downloads

• Proper-0.5.2.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• dillonhuff

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates