Leanstral 1.5: Proof Abundance for All

Mistral released Leanstral 1.5, a model aimed at formal proof generation and theorem-proving workflows.

Categories: Model Releases

Read at source: https://mistral.ai/news/leanstral-1-5/