Falls Sie es verpasst haben: Aristoteles formalisiert jetzt ganze mathematische Arbeiten automatisch