Proving in Constructive Mathematics by Programming in Agda Course by Uma Zalakain | Session 2

Round-10 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor/events) and provenance check passed; strict per-title check + final strict pass; oEmbed verified.

A 75-minute video from BCAM - Basque Center for Applied Mathematics: “Proving in Constructive Mathematics by Programming in Agda Course by Uma Zalakain | Session 2”.

Video by BCAM - Basque Center for Applied Mathematics, played through YouTube's embedded player.