1/ RILASCIO DELL'ASSE: il Motore Axiom Lean ⚙️ Stiamo servendo la nostra infrastruttura principale per la dimostrazione formale su larga scala. Questi sono gli stessi strumenti di metaprogrammazione Lean che sono alla base di AxiomProver, che lo alimentano per vincere il Putnam e aprire congetture di ricerca. Disponibile per chiunque oggi!