GitHub - trivial-rs/compiler: The Trivial compiler framework for Metamath Zero binary proofs · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
src		src
.gitignore		.gitignore
Cargo.toml		Cargo.toml

About

The Trivial compiler framework for Metamath Zero binary proofs

Custom properties

Report repository

Releases

Packages

Contributors

Languages

Rust 100.0%