Tagged with

1 article found

Your Code Has Bugs Leanstral 1.5 Can Prove It

Mistral’s Leanstral 1.5 is a 119B parameter formal verification model that already found 5 unknown bugs in real repos. Here’s how it works and why it matters.

#code correctness#formal verification#lean 4...