Package mepk.kernel.util

package mepk.kernel.util

This package contains utilities which are necessary for the kernel, but which are also useful outside of it.

Related Packages

Package	Description
mepk.kernel	This package implements the trusted kernel of MEPK.
mepk.kernel.internal	This package contains internal implementations for the concepts in the mepk.kernel package.

Classes

Class	Description
ExpandedAbbreviationsProof	A proof which wraps another proof, and expands all that proof's abbreviations.
TrivialProof	A proof which trivially grounds exactly its grounding statements.