2 ms·
A better way than what? The snippet you posted has nothing to do with how a beginner (or intermediate) learns Lean.
by ykonstant 4y ago
A better way than what? The snippet you posted has nothing to do with how a beginner (or intermediate) learns Lean.