metamath/metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

语言：Rust · GitHub 星标：46 · Fork：13

在 GitHub 上查看原仓库