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