HTab
Version 1.7.3 revision 0 uploaded by GuillaumeHoffmann.
Package meta
- Synopsis
- Tableau based theorem prover for hybrid logics
- Description
Tableau based theorem prover for hybrid logics
- Author
- Guillaume Hoffmann, Carlos Areces, Daniel Gorín, Juan Heguiabehere
- Bug reports
- http://hub.darcs.net/gh/htab/issues
- Category
- Theorem provers
- Copyright
- n/a
- Homepage
- http://hub.darcs.net/gh/htab
- Maintainer
- guillaumh@gmail.com
- Package URL
- n/a
- Stability
- n/a