LModel ReleasesLeanstral : La Révolution de la Vérification Formelle par Mistral AIMistral AI dévoile Leanstral, le premier agent open source pour Lean 4, surpassant les modèles fermés sur la vérification de code et les preuves mathématiques.il y a 4 mois6 min de lectureLire l'article