trivial-verifier (cargo): The Trivial proof verifier - an interface to the Metamath Zero kernel
Keywords: trivial|metamath-zero