Formale Mathematik und Beweisassistenten: Kurs Analysis und Lineare Algebra | Zoonk
72. Formale Mathematik und Beweisassistenten
Formuliert Definitionen und Beweise in Beweisassistenten, sodass logische Lücken, versteckte Annahmen und fehlerhafte Abhängigkeiten maschinell erkannt werden.
