The Trivial proof verifier - an interface to the Metamath Zero kernel
Primary LanguageRust
No issues in this repository yet.