Blog

Learn about agent practices, tutorials, and updates.

Editorial cover image for the Leanstral by Mistral article

Leanstral by Mistral: What It Is, How It Works, and Why It Matters for Lean 4

2026-03-18·Lucy

Leanstral is Mistral’s new open-source Lean 4 code agent built for proof engineering and formal verification. Here is what it does, how it works, and where it fits.

Read article