org.qedeq.kernel.bo.logic.package.html Maven / Gradle / Ivy
Contains the logical abilities of the kernel. The classes herein are don't use QEDEQ objects. They
just deal with Element instances and some other basic objects for proof checking. For location of errors the ModuleContext
is used.