3 ms·Learning Lean 4 and trying to prove something using it is extremely mentally stimulating.by UltraSane 2mo agoLearning Lean 4 and trying to prove something using it is extremely mentally stimulating.