Research·EASYHUB JOURNAL
Leanstral 1.5: Proof Abundance for All
What changed
Mistral introduces Leanstral 1.5 for Lean 4 proof engineering, iterative feedback and code verification, with open weights and API guidance. This entry follows the July 2 announcement date rather than differing registration dates in other model documentation.
- Original title
- Leanstral 1.5: Proof Abundance for All
- Source
- Mistral AI · mistral.ai
- Topic
- Research
- Source month
- 2026-07
This is a concise EasyHub summary of the linked source, not the full report or original reporting. Availability and preview conditions are described in the summary and original.
Summary page published · Editorial information