Date of stream 6 Oct 2019. Live-stream chat added as Subtitles/CC - English (Twitch Chat). Stream title: twitchcoq, writing a language we can prove things in ...