John Burnham: Formality: Towards an efficient proof language, Part 2 Published -- Download video MP4 360p