Lean 3's obsolete mathematical components library: please use mathlib4
Why do you think that https://github.com/mathquill/mathquill is a good alternative to mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
Why do you think that https://github.com/mathquill/mathquill is a good alternative to mathlib