🧮 Dziś wydajemy Leanstral - pierwszego agenta kodu open-source dla Lean 4, wydajnego asystenta dowodów zdolnego do wyrażania złożonych obiektów matematycznych i specyfikacji oprogramowania.