Modelling the Way Mathematics Is Actually Done
Why it's on BrighterTube
Advanced · Editorial review · 85% confidenceWhole-channel inclusion: ICFP Video is an honest teaching channel (title sample + 3 transcripts read: All three transcripts show structured expert technical talks explaining research/concepts in functional programming and related fields, consistent with genuine educational conference content.); this title passed a strict title check (sonnet) after a labelling pass.
What you'll learn
A 35-minute video from ICFP Video: “Modelling the Way Mathematics Is Actually Done”.
Video by ICFP Video, played through YouTube's embedded player.