judge-0.1.2.0: Tableau-based theorem prover.