a Minimal Extensible Proof Kernel, for trusted mathematical proofs in the style of Metamath and Ghilbert
Primary LanguageJava