The latest version of HTab is 1.7.3-0.
HTab
Version 1.5.6 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://code.google.com/p/intohylo/
- Category
- Theorem provers
- Copyright
- n/a
- Homepage
- http://www.glyc.dc.uba.ar/intohylo/htab.php
- Maintainer
- guillaumh@gmail.com
- Package URL
- n/a
- Stability
- n/a