Releases

1 matching — model launches, API releases, product updates, financial events and news.

Jul 2, 2026

Leanstral 1.5 releasedMistral AI · Leanstral 1.5 · 1.5Model update

Mistral AI released Leanstral 1.5 with improved formal reasoning and theorem-proving capabilities.

1–1 of 1 releases