Heute spenden wir 300.000 $ an @leanprover als den ersten Sponsor! Wir glauben, dass die Zukunft des mathematischen Denkens in der formalen Verifikation liegt. Unser Modell, Aristotle, nutzt Lean, um Fehler zu beseitigen und Ergebnisse zu verifizieren. Wir sind begeistert, die Werkzeuge und Menschen zu unterstützen, die sichere, präzise mathematische Superintelligenz möglich machen.