Modèle Mistral léger et gratuit dédié à la vérification formelle de preuves en Lean, pensé pour des déploiements à ressources limitées.
Prix API en $ par million de tokens · source : recherche web · mis à jour le 18 juil. 2026 · fiche mise à jour le 18 juil. 2026