|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Package | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.logic | 4.0 4 | 1.3103448 1.31 | 0.94298244 94.3% |
0.94298244
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
Class | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
QedeqBoFormalLogicCheckerTest QedeqBoFormalLogicCheckerTest | 3.0 3 | 1.0 1 | 0.84615386 84.6% |
0.84615386
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
SimpleProofFinderPluginTest SimpleProofFinderPluginTest | 10.0 10 | 1.0 1 | 0.921875 92.2% |
0.921875
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
QedeqBoFormalLogicCheckerDirectTest QedeqBoFormalLogicCheckerDirectTest | 7.0 7 | 1.8571428 1.86 | 0.93333334 93.3% |
0.93333334
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
FormalProofCheckerPluginTest FormalProofCheckerPluginTest | 9.0 9 | 1.3333334 1.33 | 0.96444446 96.4% |
0.96444446
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|