Show HN: Formal – Formal verification for AI-generated code using Lean 4

(github.com) by yamafaktory | Apr 12, 2026 | 0 comments on HN