Lesson 3

Usually, people respond that a proof is a derivation of the truth of statements from axioms and known statements.

In this section, we will see that proofs may be also interactive and probabilistically checkable!