Search for tag: "proofs"

LMS Computer Science Colloquium - Anupam Das (Birmingham)

An automated programme is used to generate the subtitles on this talk. You can remove the subtitles by pressing CC on the bottom toolbar. Anupam Das (Birmingham) The size of proofs: from…

From  Liam Holligan on November 19th, 2020 0 likes 14 plays 0