1/ FREIGABE DER ACHSE: der Axiom Lean Engine ⚙️ Wir stellen unsere Kerninfrastruktur für formale Beweisführung in großem Maßstab bereit. Dies sind die gleichen Lean-Metaprogrammierungswerkzeuge, die hinter AxiomProver stehen, das es ermöglicht hat, den Putnam-Wettbewerb zu gewinnen und Forschungsannahmen zu knacken. Heute für jeden verfügbar!