https://huggingface.co/Snapkitty/lean-llm-starter/resolve/main/lean4/lean-toolchain
hf download hf://Snapkitty/lean-llm-starter/lean4/lean-toolchain
curl -L -o lean-toolchain https://huggingface.co/Snapkitty/lean-llm-starter/resolve/main/lean4/lean-toolchain
