Catalog · Theory of Computation Lecture 24 of 25 Lecture 25: Interactive Proof Systems, IP ← Previous Lecture 24: Probabilistic Computation (cont.) Next → Lecture 26: coNP ⊆ IP ✓ Mark complete Materials Transcript (PDF) ↗ transcript