4 ms·Why Lean 4 replaced OCaml as my Primary Language7 points by pabs3 1y agoadolfont 1y agoWell, Lean is beautiful.