1/ LIBERANDO EL EJE: el Axiom Lean Engine ⚙️ Estamos sirviendo nuestra infraestructura central para la demostración formal a gran escala. Estas son las mismas herramientas de metaprogramación Lean que están detrás de AxiomProver, impulsándolo a ganar el Putnam y abrir conjeturas de investigación. ¡Disponible para cualquiera hoy!