🧮 Hoy, lanzamos Leanstral - el primer agente de código de código abierto para Lean 4, un asistente de prueba eficiente capaz de expresar objetos matemáticos complejos y especificaciones de software.