@hackage HTab1.7.3

Tableau based theorem prover for hybrid logics

Tableau based theorem prover for hybrid logics