proof-checking

LeanstralSafeVerify 是一个安全验证工具，用于确保 Lean 代码符合规范，防范漏洞攻击，已应用于多个 Web 应用和排行榜。