Back Issues/Search Home → Popular →

Mistral AI, Thursday, July 2nd, 2026

Leanstral 1.5: Proof Abundance for All

Vol 340 · Issue 1 · 2026-07-02

Mistral releases Leanstral 1.5, a free Apache-2.0 model for formal verification that sets records in Lean 4 proofs.

more →