Dale Miller - Defining the semantics of proof evidence [pt.1] (2015)

Round-14 hunt: picked; source: named-course long-video search (r14, wave 2); channel screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality tier A passed; strict per-title check + final strict pass; oEmbed verified.

A 38-minute video from Logic UFRN: “Dale Miller - Defining the semantics of proof evidence [pt.1] (2015)”.

Video by Logic UFRN, played through YouTube's embedded player.