16 mars 2026
Retirév26.03
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.
Modalités
Contexte
256k
Ce modèle est retiré. Utilisez Leanstral 1.5 pour les nouvelles intégrations.
Date de retrait30/06/2026
RemplaçantLeanstral 1.5
Other Models
