https://huggingface.co/Snapkitty/cpsc-qft/resolve/main/lean/lean-toolchain
hf download hf://Snapkitty/cpsc-qft/lean/lean-toolchain
curl -L -o lean-toolchain https://huggingface.co/Snapkitty/cpsc-qft/resolve/main/lean/lean-toolchain
