Leanstral
Open-source code agent for the Lean 4 proof assistant, with 6B active parameters and weights under Apache 2.0.
We release Leanstral, the first open-source code agent designed for Lean 4.
Official source
Leanstral: Open-Source foundation for trustworthy vibe-codingmistral.ai · published