🧮 Astăzi, lansăm Leanstral - primul agent de cod open-source pentru Lean 4, un asistent de demonstrație eficient capabil să exprime obiecte matematice complexe și specificații software.