trivial-kernel 0.9.0

[dependencies.mmb-types]
version = "0.3.0"

[package]
authors = ["Ivo C.S. Wingelaar <ivo@codeforge.rs>"]
description = "A Metamath Zero kernel for Trivial"
edition = "2018"
keywords = ["metamath-zero", "trivial"]
license = "MIT OR Apache-2.0"
name = "trivial-kernel"
readme = "README.md"
repository = "https://github.com/trivial-rs/kernel"
version = "0.9.0"