[]
= "trivial-verifier"
= "0.8.0"
= ["Ivo C.S. Wingelaar <ivo@codeforge.rs>"]
= "The Trivial proof verifier - an interface to the Metamath Zero kernel"
= ["metamath-zero", "trivial"]
= "MIT OR Apache-2.0"
= "2018"
[]
= "0.8.0"
= "0.3.0"
= "0.5.0"