Agda Problem Session 6: The fundamental group of the circle (Astra) -- HoTTEST Summer School 2022
Why it's on BrighterTube
Editorial review · 85% confidenceWhole-channel inclusion: HoTTEST (title sample: Nearly every upload is a full research seminar talk or summer-school lecture on homotopy type theory, consistently technical and educational with descriptive academic titles.; 2 of 3 sampled transcripts read as real teaching); this title passed a strict title check.
What you'll learn
A 56-minute video from HoTTEST: “Agda Problem Session 6: The fundamental group of the circle (Astra) -- HoTTEST Summer School 2022”.
Video by HoTTEST, played through YouTube's embedded player.