Uses of Interface
org.qedeq.kernel.bo.logic.proof.common.ProofCheckerFactory

Packages that use ProofCheckerFactory

org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

Uses of ProofCheckerFactory in org.qedeq.kernel.bo.logic

Classes in org.qedeq.kernel.bo.logic that implement ProofCheckerFactory

class

ProofCheckerFactoryImpl Factory implementation for ProofCheckers.