trivial-compiler 0.3.0

The Trivial compiler framework for Metamath Zero binary proofs
Documentation 
# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 3

[[package]]
name = "mmb-types"
version = "0.3.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1185008f8a509b1169a54061ac566032e010b1b673a1923eddbb92d9977d4063"

[[package]]
name = "trivial-compiler"
version = "0.3.0"
dependencies = [
 "mmb-types",
]