🧮 Oggi, rilasciamo Leanstral - il primo agente di codice open-source per Lean 4, un assistente alla dimostrazione efficiente in grado di esprimere oggetti matematici complessi e specifiche software.