https://github.com/GasStationManager/SafeVerify
GitHub - GasStationManager/SafeVerify: A Lean4 script for robustly verifying submitted proofs of...
A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions - GasStationManager/SafeVerify