PropLogic
Version 0.9.0.4 revision 0 uploaded by DavidFox.
Package meta
- Synopsis
- Propositional Logic
- Description
A system for propositional logic with default and fast instances of propositional algebras.
- Author
- bucephalus
- Bug reports
- http://www-bucephalus-org.blogspot.com/2010/02/proplogic.html
- Category
- Logic, Algorithms
- Copyright
- n/a
- Homepage
- http://www.bucephalus.org/PropLogic
- Maintainer
- b@bucephalus.org
- Package URL
- n/a
- Stability
- experimental