Skip to content
Mistral AI · Frontier Labs

Leanstral: Open-Source foundation for trustworthy vibe-coding

Mistral

First open-source code agent for Lean 4.

Read original