3 ms·These days, I prefer Lean 4. Its macro system is inspired by racket and it has powerful typesby yuppiemephisto 11mo agoThese days, I prefer Lean 4. Its macro system is inspired by racket and it has powerful types