Intellectual hub of the topic

open technologies

Back to top Page 3

AI: Events

Leanstral: When AI Writes Mathematically Verifiable Code

Technical context Development

Mistral has released Leanstral, an open-source AI agent for formal code verification in Lean 4, capable of not only writing programs but also proving their correctness.

Mistral AImistral.ai Mar 20, 2026

Don’t miss a single experiment!

Subscribe to our Telegram channel —
we regularly post announcements of new books, articles, and interviews.

Subscribe