'%3e%3crect%20x='16'%20y='51'%20width='68'%20height='27'%20rx='13.5'/%3e%3ccircle%20cx='32'%20cy='53'%20r='15'/%3e%3ccircle%20cx='53'%20cy='43'%20r='20'/%3e%3ccircle%20cx='71'%20cy='57'%20r='12'/%3e%3c/g%3e%3c/svg%3e){kind=small}
Cloud ChangelogLeanstral models
3 announcements since March 2026 · 1 GA · 2 deprecations · 2 need action
Made by Mistral AI
Free. Unsubscribe any time.
September 20261
OCR 4.0 and Leanstral 1.5 retire September 30, 2026; GLM 5.2 deprecatedDeprecation
Mistral · Leanstral 1.5 · Was due Sep 30, 2026
June 20261
Leanstral 1.5 released for Lean 4 proofs, retires September 30, 2026Deprecation
Mistral · Leanstral 1.5 · Was due Sep 30, 2026
March 20261
All model changelogs· Mar 16, 2026 to Sep 29, 2026