BrighterTube

Yawar Raza Theorem Proving in Coq using Tactics

LambdaConf8.86K subscribers

About this video

Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Demonstrates theorem proving in Coq using tactical proof methods, showing concrete syntax and proof strategies. Direct technical instruction in a formal verification tool.

A 54-minute video from LambdaConf: “Yawar Raza Theorem Proving in Coq using Tactics”.

Programming & CS

Video by LambdaConf, played through YouTube's embedded player.

Part of LambdaConf 2017 - Winter Retreat