Duplicated from deepseek-ai/DeepSeek-Prover-V1.5-RL
https://huggingface.co/runrl/dsp/resolve/main/LICENSE
hf download hf://runrl/dsp/LICENSE
curl -L -o LICENSE https://huggingface.co/runrl/dsp/resolve/main/LICENSE
