trivial-kernel
| Crates.io | trivial-kernel |
| lib.rs | trivial-kernel |
| version | 0.9.0 |
| source | src |
| created_at | 2021-03-04 08:59:32.675869 |
| updated_at | 2021-04-05 08:51:22.642917 |
| description | A Metamath Zero kernel for Trivial |
| homepage | |
| repository | https://github.com/trivial-rs/kernel |
| max_upload_size | |
| id | 363631 |
| size | 90,955 |
Ivo Wingelaar (IvoWingelaar)
documentation
README
The Trivial Metamath Zero kernel
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).