org.openqed.tool.prover (OpenQED Library Documentation)