https://huggingface.co/Snapkitty/snapkitty-clojure-lisp-bridge/resolve/main/lean-formalization/skclisp/lean-toolchain
hf download hf://Snapkitty/snapkitty-clojure-lisp-bridge/lean-formalization/skclisp/lean-toolchain
curl -L -o lean-toolchain https://huggingface.co/Snapkitty/snapkitty-clojure-lisp-bridge/resolve/main/lean-formalization/skclisp/lean-toolchain
