MEPK 0.0.1-SNAPSHOT API

Packages

Package	Description
mepk	This package implements MEPK, a minimal extensible proof kernel, with a Metamath/Ghilbert-like language.
mepk.builtin	This package implements extensions on top of the mepk.kernel.
mepk.builtin.internal	This package contains internal implementations for the concepts in the mepk.builtin package.
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.
mepk.kernel.util	This package contains utilities which are necessary for the kernel, but which are also useful outside of it.