Leanstral 1.5

Un modèle mis à jour pour l’ingénierie de preuves formelles Lean 4, optimisé pour la démonstration automatique de théorèmes et l’autoformalisation. 119B paramètres au total, 6,5B actifs.