Show HN: Spend weekend Claude tokens making your code bullet-proof with Lean

(github.com) by kurinikku | Mar 29, 2026 | 0 comments on HN