|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Package | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
org.qedeq.kernel.bo.logic.proof.checker org.qedeq.kernel.bo.logic.proof.checker | 1.0 1 | 1.8181819 1.82 | 0.95522386 95.5% |
0.95522386
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
Class | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ProofCheckerTest ProofCheckerTest | 11.0 11 | 1.8181819 1.82 | 0.95522386 95.5% |
0.95522386
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|