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

By yamafaktory / April 12, 2026

Article URL: https://github.com/yamafaktory/formal

Comments URL: https://news.ycombinator.com/item?id=47739597

Points: 3

# Comments: 0

Leave a Comment