In der Folge spricht Richard Seidl mit Bianca Lutz und Lars Hupel uber mathematische Beweisfuhrung, um die Korrektheit von Software nachzuweisen.