Model ReleasesMistral 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 6 mois6 min de lecture