Apr 12, 2026
AI & Machine Learning
code correctness
formal verification
lean 4
Gallery
About
Formal is a tool for verifying the correctness of AI-generated code using the Lean 4 proof assistant. It allows developers to formally specify and prove the properties of their code, ensuring its reliability and accuracy. The project is open-source and hosted on GitHub, providing a framework for formal verification of AI-generated code.
Comments (0)
No comments yet. Be the first to comment!
Related Products
OpenBrief – Local-first video downloader/summarizer
Nerve – self hosted runtime for AI agents
skills-for-humanity – 171 structured reasoning skills for Claude Code
skills-for-humanity – 171 structured reasoning skills for Claude Code
OpenBrief – Local-first video downloader/summarizer
Bae – AI companion built around persistent memory architecture