Mistral AI Studio and API·Jun 30, 2026Leanstral 1.5 (labs-leanstral-1-5) Lean 4 proof engineering modelLeanstral 1.5 is an updated Lean 4 formal proof engineering model with improved SFT mixture quality and extended long-context reasoning. The model will be retired on September 30, 2026.UpdateSource
Mistral AI Studio and API·Jun 24, 2026Bringing more control over your connectorsBringing more control over your connectorsUpdateData integrationSource
Mistral AI