G github.com Show HN: Formal – Formal verification for AI-generated code using Lean 4 4 points yamafaktory 6 months ago 4 comments
