Leanstral

Premier agent de code open source conçu pour Lean 4, pensé pour l’ingénierie de preuve formelle dans des dépôts réalistes. 119 Md de paramètres, dont 6,5 Md actifs.