Proper
Version 0.5.2.0 revision 0 uploaded by dillonhuff.
Package meta
- Synopsis
- An implementation of propositional logic in Haskell
- Description
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.
- Author
- Dillon Huff
- Bug reports
- n/a
- Category
- n/a
- Copyright
- n/a
- Homepage
- https://github.com/dillonhuff/Proper
- Maintainer
- Dillon Huff
- Package URL
- n/a
- Stability
- n/a