trivial-kernel (cargo): A Metamath Zero kernel for Trivial
Keywords: trivial|metamath-zero|formal-verification|metamath|rust