Hey Dan, I’m exploring math for computer science right now, and I was thrilled to see that you’re studying it too. I’m really enjoying the subject and I imagine you are as well. From a professional perspective though, would you say that studying Lean makes you a better developer?

r