Show HN: Formal – Formal verification for AI-generated code using Lean 4github.com/yamafaktory4 pointsyamafaktory2 months ago