Mistral AI · releasedLeanstral

Valid from

2026-03-16

Valid until

still holds

Published

2026-03-16

Recorded by AsOf

2026-10-29

Checked

2026-10-29 · its source page states the value and the date

Confidence

0.70

Sources

“Introducing Leanstral We release Leanstral, the first open-source code agent designed for Lean 4.”— what the page says, read 2026-10-29

• Leanstral: Open-Source foundation for trustworthy vibe-codingprimary · mistral.ai · 2026-03-16

/claim/clm_21C50F9A2832.md/v1/claims/clm_21C50F9A2832timelinesubmit a correction