The Trivial proof verifier - an interface to the Metamath Zero kernel
Primary LanguageRust
This repository is not active