Formal Verification
1 posts
AI Programming Hits the 'Review Bottleneck'? Mistral Drops an Open-Source Bomb
Mistral AI releases Leanstral, the first open-source Lean 4 code agent that lets AI both write code and prove its correctness. Let’s talk about formal verification and AI programming.
March 17, 2026 · 5 min · 896 words · Rex