Was ist Lean 4?

Einfach erklärt

Ein Programm, in dem sich mathematische Beweise Schritt für Schritt so aufschreiben lassen, dass ein Computer jede einzelne Folgerung nachrechnet. Es prüft die Logik, nicht die Frage, ob man das Richtige aufgeschrieben hat.

Stand der Erklärung: 3. August 2026 · aus der laufenden Berichterstattung von Syntiq AI