@hackage HTab1.6.0

Tableau based theorem prover for hybrid logics

Tableau based theorem prover for hybrid logics