Rare find

SafeVerify. A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions

github.com/GasStationManager/SafeVerify
by @GasStationManager

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.