A Mistral Small model fine-tuned for Lean.
Specs
Params119B (6.5B active)
LicenseApache-2.0
Adoption · Hugging Face
RAM score
—
Hugging Face Downloads
547
last 30d
600
all time
HF Likes
209
Relative Adoption Metric contextualizes downloads against the model's size bucket.
Related Models




