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

Formal verification for AI-generated code. Contribute to yamafaktory/formal development by creating an account on GitHub.

4 points by yamafaktory 193 days ago github.com 4 comments

Summary not yet generated for this article.

Loading more comments... ⌛

Scroll down to load more comments

No comments available.