Leanstral 1.5 brings proof generation to smaller models

Leanstral 1.5 adds formal proof capabilities to lightweight language models, making formal verification more accessible outside of resource-heavy setups. For indie builders working on verification tools or safety-critical applications, this lowers the bar for integrating proof-checking without expensive infrastructure.