GitHub repository: metamath/metamath-knife
Primary language: Rust
Description: Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.