TableauxProver 1.5 screenshot



A tableaux automatic and semi-automatic prover