December 4


November 20

There is no reading assignment for this week; I will give a presentation of modularity in mathematics.

November 13


November 6

We will start with the Hamami paper from last week. After that, we will look at specific proof languages used by interactive theorem provers. You can read about any that interest you (see the bibliography page), but I will focus on these:

October 30

Note that the seminar will not meet on Friday, October 23. For October 30, read the following:

October 16

October 9

October 2

September 25

September 18

September 11

September 4