1/ SLÄPPER AXELN: Axiom Lean Engine ⚙️ Vi betjänar vår kärninfrastruktur för formell bevisning i stor skala. Det är samma Lean-metaprogrammeringsverktyg som ligger bakom AxiomProver, som driver det för att vinna Putnam och öppna forskningsspekulationer. Tillgängligt för alla idag!