FORMAL VERIFICATION
1 article
LATEST
Leanstral 1.5: Mistral's Open Theorem-Proving Model Hits 100% on miniF2F
Mistral releases Leanstral 1.5, an Apache-2.0 licensed 119B parameter model (6B active) for Lean 4 theorem proving that saturates miniF2F and achieves SOTA on FATE benchmarks.
•8 min read
Read ArticleKeep exploring Formal Verification
- - Formal Verification Topic Hub - tools and guides for Formal Verification from the Developers Digest directory
- - Glossary - dive deeper across the Developers Digest knowledge base
- - Developers Digest on YouTube - video tutorials covering Formal Verification and more
Get Smarter About AI Dev
New tutorials, open-source projects, and deep dives on coding agents - delivered weekly.
One email per weekReal code, not theoryFree forever
Explore 662 topics
Browse All Topics