BrighterTube

TYPES2025 - 4.11. Anton Setzer - Verifying Z3 RUP Proofs with the Interactive Theorem Provers...

MSP — Strathclyde447 subscribers

Why it's on BrighterTube

Advanced · Editorial review · 85% confidence

Round-16 hunt: picked; source: named-course long-video search (r16 wave 4); 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.

What you'll learn

A 18-minute video from MSP — Strathclyde: “TYPES2025 - 4.11. Anton Setzer - Verifying Z3 RUP Proofs with the Interactive Theorem Provers...”.

Programming & CS

Video by MSP — Strathclyde, played through YouTube's embedded player.