Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Show HN: Formal – Formal verification for AI-generated code using Lean 4
github.com/yamafaktory
4 points
yamafaktory
2 months ago
4 comments
Loading...
Show HN: Formal – Formal verification for AI-generated code using Lean 4 | Heykuki News