[Club2] Today, 15:00, Alan Turing: Three Chapters of Measure Theory

[Johannes Hölzl]

Hi Club2,

I will give the first version of my talk at ITP 2011:

  Three Chapters of Measure Theory

I will give an overview of the formalization of measure theory in
Isabelle. 

Greetings,
  Johannes