org.qedeq.kernel.bo.service.logic
Loading...
Test Case % Success
FormalProofCheckerPluginTest FormalProofCheckerPluginTest 1.0 (100%)
QedeqBoFormalLogicCheckerDirectTest QedeqBoFormalLogicCheckerDirectTest 1.0 (100%)
QedeqBoFormalLogicCheckerTest QedeqBoFormalLogicCheckerTest 1.0 (100%)
SimpleProofFinderPluginTest SimpleProofFinderPluginTest 1.0 (100%)