Mistral AI Release notes and new features

Private · Paris, France · 51 releases · 1 this month

Also onAcquisitions·Funding(Funding rounds)·Paydays(Pay schedule)

Mistral AI releases

2 releases

Leanstral (labs-leanstral-2603) is an open-source code agent designed for Lean 4 formal proof engineering.

GAMar 16

About and activity

Mistral AI SAS is a French artificial intelligence (AI) company headquartered in Paris. Founded in 2023, it develops large language models (LLMs).

Releases per month

Official release-notes pages 5

Release-notes page	Site	Feed
Changelog (new docs) docs.mistral.ai	docs.mistral.ai	None
Mistral Vibe releases github.com	github.com	RSS
mistral-inference releases github.com	github.com	RSS
Python SDK releases github.com	github.com	RSS
TypeScript SDK releases github.com	github.com	RSS