https://www.nextaimodel.com/lines/mistral-dev Every new release in Mistral's Devstral & Leanstral line, from Next AI Model. Newest 20 releases. en Sat, 24 Oct 2026 17:12:56 GMT https://www.nextaimodel.com/models/leanstral-1-5 https://www.nextaimodel.com/models/leanstral-1-5 Tue, 30 Jun 2026 12:00:00 GMT Mistral Mistral · Devstral & Leanstral line · released June 30, 2026. Apache 2.0 model for Lean 4 proof engineering with 119B parameters and 6B active, solving 587 of 672 PutnamBench problems. https://www.nextaimodel.com/models/leanstral https://www.nextaimodel.com/models/leanstral Mon, 16 Mar 2026 12:00:00 GMT Mistral Mistral · Devstral & Leanstral line · released March 16, 2026. An open-weight (Apache 2.0) code agent for the Lean 4 proof assistant that generates code and formally proves implementations against specifications. https://www.nextaimodel.com/models/devstral-2 https://www.nextaimodel.com/models/devstral-2 Tue, 09 Dec 2025 12:00:00 GMT Mistral Mistral · Devstral & Leanstral line · released December 9, 2025. https://www.nextaimodel.com/models/devstral-medium https://www.nextaimodel.com/models/devstral-medium Thu, 10 Jul 2025 12:00:00 GMT Mistral Mistral · Devstral & Leanstral line · released July 10, 2025. https://www.nextaimodel.com/models/devstral https://www.nextaimodel.com/models/devstral Wed, 21 May 2025 12:00:00 GMT Mistral Mistral · Devstral & Leanstral line · released May 21, 2025.