Mistral releases Leanstral 1.5 open model for proof engineering

· TestingCatalog ·

Mistral released an open Lean 4 proof-engineering model with Hugging Face access and Labs API availability.

Categories: Model Releases, OSS & Tools

Excerpt

Mistral AI introduces Leanstral 1.5, an open-source code agent for Lean 4 formal proof engineering, now available via Labs API and Hugging Face.

Read at source: https://www.testingcatalog.com/mistral-releases-leanstral-1-5-open-model-for-proof-engineering/