proof-checking

LeanstralSafeVerify is a tool to safely verify Lean code against specifications, guarding against exploits and used in several web apps and leaderboards.