Leanstral
About
Mistral's Leanstral family of specialized open-source models focused on formal mathematics, proof engineering, and Lean 4 theorem proving using highly sparse MoE architectures.
Mistral's Leanstral family of specialized open-source models focused on formal mathematics, proof engineering, and Lean 4 theorem proving using highly sparse MoE architectures.