@hackage HTab1.6.1

Tableau based theorem prover for hybrid logics

Tableau based theorem prover for hybrid logics