1/ ELIBERARE A AXEI: MOTORUL ⚙️ Axiom Lean Deservim infrastructura noastră de bază pentru demonstrarea formală la scară largă. Acestea sunt aceleași instrumente Lean de metaprogramare care stau la baza AxiomProver, care îl ajută să câștige Putnam și să deschize presupuneri de cercetare. Disponibil oricui astăzi!