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