即将离开知乎

您即将离开知乎，请注意您的账号和财产安全。

https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_debian.sh