I remember our algebra professor adopting aprroach that seems like a compromise between those two.

He provided us with lecture notes, usually containing all the definitions, theorems, lemmas, and proofs and then encouraged us to take notes on the margins of the lecture-notes.