Show HN: Formal Verification with Lean #1 Post by lowdanie » Fri, May 15, 2026, 2:17 PM UTC Show HN: Formal Verification with Leandaniellowengrub.com