I'm Learning Lean. Here's how I started. I decided to learn a bit about Lean. I know a lot more about programming than mathematics; if you are like me, this post might have some value to you. If you're more on the math-focused side of the spectrum, your mileage may vary! There are great Lean introdu