talk at the automath seminar

Here are the slides of my presentation at the automath seminar.