Logic & formal methods videos on HackerTube

Logic and formal verification: proof assistants, Coq, Lean, TLA+, type theory and proofs, SAT solvers, model checking, program correctness, foundations of mathematics, set theory.

Explore videos linked and recommended in Hacker News discussions. Each entry includes its topic context and the public recommendation signal where available.