Calendarby GlyphTech · Releases
Release of Leanstral Code Agent
Mon, March 16, 2026
8 mo agoUnverified
Leanstral (labs-leanstral-2603) is an open-source code agent designed for Lean 4 formal proof engineering.
Every year
Release of Mistral Large 3 and Ministral 3mistral-aiAn event.11 mo agomistral-aiDetails →Release of Devstral 2 and Devstral Small 2mistral-aiAn event.11 mo agomistral-aiDetails →Release of Mistral Small Creativemistral-aiAn event.11 mo agomistral-aiDetails →Release of OCR 3mistral-aiAn event.11 mo agomistral-aiDetails →Inline Batching API Releasemistral-aiAn event.10 mo agomistral-aiDetails →Release of Voxtral Mini Transcribe 2 and Realtimemistral-aiAn event.9 mo agomistral-aiDetails →Release of Mistral Moderation 2603mistral-aiAn event.8 mo agomistral-aiDetails →
Release of Leanstral Code Agentmistral-aiAn event.8 mo agomistral-ai
Release of Mistral Small 4mistral-aiAn event.8 mo agomistral-aiDetails →Release of Voxtral TTSmistral-aiAn event.8 mo agomistral-aiDetails →Release of Mistral Medium 3.5mistral-aiAn event.6 mo agomistral-aiDetails →Release of OCR 4mistral-aiAn event.5 mo agomistral-aiDetails →Leanstral 1.5 (labs-leanstral-1-5) Lean 4 proof engineering modelmistral-aiAn event.4 mo agomistral-aiDetails →Release of Leanstral 1.5mistral-aiAn event.4 mo agomistral-aiDetails →Introducing Robostral Navigatemistral-aiAn event.4 mo agomistral-aiDetails →Mistral OCR 4.1 (mistral-ocr-4-1) releasedmistral-aiAn event.4 mo agomistral-aiDetails →Release of OCR 4.1mistral-aiAn event.4 mo agomistral-aiDetails →Introducing Shieldstralmistral-aiAn event.3 mo agomistral-aiDetails →In-region inference, open models, and new European infrastructure for sovereign AImistral-aiAn event.3 mo agomistral-aiDetails →Mistral OCR 4.1 (mistral-ocr-4-1) generally availablemistral-aiAn event.2 mo agomistral-aiDetails →General Availability of OCR 4.1mistral-aiAn event.2 mo agomistral-aiDetails →General Availability of Z.ai GLM 5.3mistral-aiAn event.42 days agomistral-aiDetails →Introducing Mistral Large 4mistral-aiAn event.34 days agomistral-aiDetails →Introducing Timestralmistral-aiAn event.25 days agomistral-aiDetails →Voxtral 3 voice agent SDK and speech modelsmistral-aiAn event.20 days agomistral-aiDetails →Voxtral 3mistral-aiAn event.20 days agomistral-aiDetails →Voxtral Mini Transcribe 3mistral-aiAn event.20 days agomistral-aiDetails →Le Chonk: Built for Coders, Trusted by Defendersmistral-aiAn event.11 days agomistral-aiDetails →Also on Mar 16, 2026
Laylat al-Qadr (27th night)The Night of Power; commonly observed on the 27th night of Ramadan. 9/27/1447 AH in the Umm al-Qura calendar. Begins the evening before; the actual date...8 mo agoUmm al-Qura calendar, computedDetails →James Madison, born 1751 (275 years)American academic and politician, 4th President of the United States (died 1836).8 mo agoWikipediaDetails →Partnership and S corporation returns due 2026United StatesCalendar-year S corporations (Form 1120-S) and partnerships (Form 1065) file 2025 returns; March 15 falls on a Sunday.8 mo agoIRSDetails →NVIDIA GTC 2026San Jose, SF Bay Area, CA · NVIDIANVIDIA's flagship AI and accelerated computing conference with Jensen Huang's keynote.8 mo agoNVIDIADetails →
Source, method and history
- Source
- mistral-ai
- How we know
- From the Releases API (releases.fru.dev), which reads each vendor's changelog.
- Who
- mistral-ai
- Recurs
- one-off
- More on Glyph
- releases.fru.dev
- Feed
- Subscribe to Releases
- Changes
- 2026-10-06: added to 2026-03-16