GitHub repository: jzw2/rust-metamath
Primary language: Rust
Description: A Metamath verifier written in rust