interesting. Lean looks so wild to me, but i think it's mainly, because higher maths seems so daunting to really get involved with it. But i see a certain beauty

Is it like typing a larger codebase in typescript, which was just a lot of anys before?