2 ms·

I just started learning Lean today - what a coincidence. I have found learning lean difficult but gratifying. The post serves as further motivation.