metamath/metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
RustApache-2.0
Stargazers
- benjubParis, France
- BismaBRJSouth Jakarta, Jakarta, Indonesia
- BrentKylling
- bryangingechen
- chabulhwiSemmalgil
- cpresseyOffice... submarine!
- eyusupovGlobal
- FabriceBoyer
- fwcdKiel University
- huynhtrankhanh@coq-community
- hvaara@google
- iilyak
- io12
- JeffCarpenterCanada
- jmanuel1Imagine Learning
- josojo
- marnix
- maxwell8888UK
- mtve
- Peter-H-MeadowsUK
- RichienbAuckland, New Zealand
- SchrodingerZhuUniversity of Rochester
- sctfnJohns Hopkins Applied Physics Laboratory
- smalltalkmaniim cn
- tirix