Test Case | % Success |
FormalProofCheckerPluginTest FormalProofCheckerPluginTest |
1.0
(100%) |
QedeqBoFormalLogicCheckerDirectTest QedeqBoFormalLogicCheckerDirectTest |
1.0
(100%) |
QedeqBoFormalLogicCheckerTest QedeqBoFormalLogicCheckerTest |
1.0
(100%) |
SimpleProofFinderPluginTest SimpleProofFinderPluginTest |
1.0
(100%) |