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