@hackage / hylotab

Tableau based theorem prover for hybrid logics