Show HN: Formal – Formal verification for AI-generated code using Lean 4
Article URL: https://github.com/yamafaktory/formal
Comments URL: https://news.ycombinator.com/item?id=47739597
Points: 3
# Comments: 0
Uncategorised