1/ UWOLNIANIE OSI: Axiom Lean Engine ⚙️ Służymy naszą podstawową Infrastrukturą do formalnego dowodzenia na dużą skalę. To te same narzędzia metaprogramowania Lean, które stoją za AxiomProver, umożliwiając mu wygranie Putnama i otwarcie badań nad hipotezami. Dostępne dla każdego już dziś!