Leanstral 1.5 119B A6B
mistralai · Kit
An open code-agent model from Mistral for the Lean 4 proof assistant. It proves theorems and fixes Lean code, takes text and images, and runs through the Mistr…
New
AI skills and agents for developers
Prompts, coding agent briefs and kits for writing and reviewing code with fewer tokens.