John Harrison
Interactive theorem proving in industry
Fullscreen not working? Try large size: MP4, or WebM.
Video not working? Try another format: MP4, WebM, or MOV.
Audio but no video? Try another browser (e.g. Chrome)
No video player? Try HTML5 instead: HTML5 with MP4, HTML5 with WebM.
Still no luck? Try downloading: MP4, WebM, or MOV.
Can't play the downloaded file? Try VLAN.
Jittery video? Server unresponsive? Try the Milner Server instead.