https://huggingface.co/spaces/uw-math-ai/theorem-search/resolve/main/requirements.txt
hf download hf://spaces/uw-math-ai/theorem-search/requirements.txt
curl -L -o requirements.txt https://huggingface.co/spaces/uw-math-ai/theorem-search/resolve/main/requirements.txt
