@hackage hylotab1.2.1
Tableau based theorem prover for hybrid logics
Categories
License
LicenseRef-GPL
Maintainer
guillaumh@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
Installation
Dependencies (0)
Dependents (1)
@hackage/acme-everything
Package Flags
static
(off by default)
Build a static binary
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.