Leanstral 1.5 brings proof search to lightweight reasoning

Mistral's Leanstral model now includes built-in proof generation for mathematical and logical reasoning tasks. The update targets developers who need verifiable outputs without the compute overhead of larger models—useful for indie devs building reasoning-heavy features on constrained budgets.