BrighterTube

William Spencer - ViCAR: Visualizing Categories with Automated Rewriting in Coq

ACT & MFPS 202495 subscribers

Why it's on BrighterTube

Advanced · Editorial review · 85% confidence

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.

What you'll learn

A 22-minute video from ACT & MFPS 2024: “William Spencer - ViCAR: Visualizing Categories with Automated Rewriting in Coq”.

Science & Math

Video by ACT & MFPS 2024, played through YouTube's embedded player.