Experimental LK-prover written in Java.