Mistral releases Leanstral 1.5 open model for proof engineering
TestingCatalog - TestingCatalog - New and unreleased AI feature…
July 4, 2026
Mistral AI introduces Leanstral 1.5, an open-source code agent for Lean 4 formal proof engineering, now available via Labs API and Hugging Face.
Discussion in the ATmosphere