The Trivial proof verifier - an interface to the Metamath Zero kernel
Primary LanguageRust
No one’s star this repository yet.