: The primary goal is mastering the art of understanding and writing proofs .

: Unlike the "brutally impossible" advanced proof courses, 18.090 is described as a manageable entry point that takes the time to explain the of proof-writing rather than just the of the theorems. Preparation

As the student types, the linter checks for:

What gives the MIT curriculum its "extra quality" is its focus on . Unlike a standard lecture where you passively record theorems, 18.090 encourages students to "scratch out" proofs.