# The Trivial Metamath Zero kernel [![Crates.io](https://img.shields.io/crates/v/trivial-kernel.svg)](https://crates.io/crates/trivial-kernel) [![Documentation](https://docs.rs/trivial-kernel/badge.svg)](https://docs.rs/trivial-kernel) ![License](https://img.shields.io/crates/l/trivial-kernel.svg) This implementation of the Metamath Zero kernel is designed for use in the experimental Trivial project. It verifies proofs written in the Metamath Zero binary format and allows introspection of the verifier state/context with basic debugging functionality. ## License The Trivial Metamath Zero kernel is distributed under the terms of either the MIT license (see [LICENSE-MIT](LICENSE-MIT)) or the Apache License, Version 2.0 (see [LICENSE-APACHE](LICENSE-APACHE)).