Mistral Releases Leanstral 1.5 for Formal Mathematical Proof Generation

Mistral AI has released Leanstral 1.5, a model specialising in formal mathematical proof generation using the Lean proof language. The model is designed to produce an abundance of proofs and is publicly available. Leanstral 1.5 represents Mistral's continued push into AI applications for formal mathematics and program verification.