Tag Archive for 'Bob Neveln'

Writing and checking complete proofs in LaTeX

Bob Neveln and Bob Alps
Play (43min) Download: MP4 | MP3