math_conjecture_lean_ai_lab / requirements.txt
NorthernTribe-Research's picture
Deploy Conjecture Lean+AI Lab Space
b628dab verified
raw
history blame contribute delete
60 Bytes
gradio>=6.6.0,<7
huggingface_hub>=1.5.0
datasets>=2.21.0,<3