1:31:16Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1MIT OpenCourseWare112.5K viewsView & Download
34:25Lecture 5: Propositional Logic - ReasoningURBS-Lab with Ryan Urbanowicz4.1K viewsView & Download