trivial-rs / kernel

A Metamath Zero kernel for Trivial

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

The Trivial Metamath Zero kernel

Crates.io Documentation License

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) or the Apache License, Version 2.0 (see LICENSE-APACHE).

About

A Metamath Zero kernel for Trivial

License:Other


Languages

Language:Rust 100.0%