Mistral for Developers
Mistral for Developers @MistralDevs · x · 2026-03-16 · ★★★ · archived
Cited as a source by: 2026-07-02-mistral-leanstral-1-5
Summary
Archived text
🧮 Today, we release Leanstral - the first open-source code agent for Lean 4, an efficient proof assistant capable of expressing complex mathematical objects and software specifications. https://t.co/MT22r9x7ic
Media: https://pbs.twimg.com/media/HDjVR74WEAAfgZa.jpg
likes 1384 · replies 36 (at fetch time)
Archived 2026-10-01 via syndication.
Archived text
🧮 Today, we release Leanstral - the first open-source code agent for Lean 4, an efficient proof assistant capable of expressing complex mathematical objects and software specifications. https://t.co/MT22r9x7ic
Media: https://pbs.twimg.com/media/HDjVR74WEAAfgZa.jpg
likes 1384 · replies 36 (at fetch time)
Archived 2026-10-01 via syndication.
Related events
All posts · id: x-mistraldevs-2033621477736477077