Intelligence Artificielle
Leanstral : premier agent open source pour Lean 4 et preuves formelles
Leanstral, premier agent open source pour Lean 4 et la preuve formelle, mêle 6B paramètres et API gratuite tout en s’imposant sur FLTEval.