Skip to content
Cloud ChangelogAnnouncements from AWS, Google Cloud, Azure, Cloudflare and the main AI providers in one searchable changelog, with daily, weekly and monthly digests.
Get the digest
Back to feed

June 30, 2026 · MistralModel

Leanstral 1.5 released for Lean 4 proofs, retires September 30, 2026

  • We released Leanstral 1.5 (labs-leanstral-1-5), an updated Lean 4 formal proof engineering model with improved SFT mixture quality and extended long-context reasoning. This model will be retired on September 30, 2026. (model)
Read the Mistral changelog
Cloud Changelog

Announcements from AWS, Google Cloud, Azure, Cloudflare and the main AI providers in one searchable changelog, with daily, weekly and monthly digests.

Cloud Changelog is an independent site. It is not affiliated with or endorsed by Amazon Web Services, Google, Microsoft, Cloudflare, OpenAI, Anthropic, Mistral AI or xAI. Their names and trademarks belong to their owners.