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