🧮 Aujourd'hui, nous lançons Leanstral - le premier agent de code open-source pour Lean 4, un assistant de preuve efficace capable d'exprimer des objets mathématiques complexes et des spécifications logicielles.