@hackage / judge

Tableau-based theorem prover for justification logic.