A Metamath verifier written in rust, forked from jzw2's implementation.
Compile it with cargo build --release, the binary should be in /target/release
Change to the correct directory then do path/to/binary name-of-mm-file.mm
The main goal of this fork is to produce a no_std implementation of a Metamath checker in rust, for use with RiscZero's zkVM.
Currently, we have removed std except for the use of file I/O in main.rs.