Writing some Katlin I guess, right?

sorry if you already mentioned it before, but how did you get into mathematics? i like what you’re sharing, it seems interesting and i would like to learn a bit more about maths before playing with lean, i’m a bit afraid i would miss some fundamentals