@hackage / hylotab

Tableau based theorem prover for hybrid logics

Latest1.2.1

Dependencies

executable:hylotab (3 dependencies)

@hackage / base Core data structures and operations
- Version: <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: <3
- License: BSD-3-Clause
@hackage / hylolib Tools for hybrid logics related programs
- Version: >=1.4 && <1.5
- License: LicenseRef-GPL