Veille & Recherche IA
Lire la suite
Leanstral : l'agent IA de Mistral qui vérifie votre code automatiquement
Mistral lance Leanstral, un agent IA open source de vérification formelle de code basé sur le langage Lean. Une solution...
22 mars 2026
6 min
248