hylotab
Version 1.2.1 revision 0 uploaded by GuillaumeHoffmann.
Package meta
- Synopsis
- Tableau based theorem prover for hybrid logics
- Description
HyLoTab is a proof-of-concept tableaux prover for hybrid logics originally written in 2002 by Jan van Eijck. It is no longer developped, but it is kept compatible with the syntax used in HyLoLib.
- Author
- Jan van Eijck, Guillaume Hoffmann
- Bug reports
- n/a
- Category
- Theorem Provers
- Copyright
- n/a
- Homepage
- http://www.glyc.dc.uba.ar/intohylo/hylotab.php
- Maintainer
- guillaumh@gmail.com
- Package URL
- n/a
- Stability
- n/a