{"type": "article", "title": "Mistral releases Leanstral 1.5 open model for proof engineering", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/mistral-releases-leanstral-1-5-open-model-for-proof-engineering", "original_source": "https://www.testingcatalog.com/mistral-releases-leanstral-1-5-open-model-for-proof-engineering/", "published": "2026-07-04T12:52:08+00:00", "accessed": "2026-07-04", "id": "mistral-releases-leanstral-1-5-open-model-for-proof-engineering"}