Omitting Types
Why it's on BrighterTube
Editorial review · 85% confidenceWhole-channel inclusion: bodirsky (title sample: A university professor's channel of straightforward lecture-style math/logic courses, almost entirely genuine teaching content.; 3 of 3 sampled transcripts read as real teaching); this title passed a strict title check.
What you'll learn
A 14-minute video from bodirsky: “Omitting Types”.
Video by bodirsky, played through YouTube's embedded player.