Proofs in Computer Science (Optional) · Interactive Proofs

Lesson 2

Nikolai Chukhin · Alexander S. Kulikov

Let's start with a toy example. Your friend claims to be well-versed in wine varieties. How can you verify that he is not lying?