Neue Methoden und Benchmarks sollen die Formalisierung von Mathematik mit Lean 4 vereinfachen.
― 6 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
Neue Methoden und Benchmarks sollen die Formalisierung von Mathematik mit Lean 4 vereinfachen.
― 6 min Lesedauer