Spaces:

NorthernTribe-Research
/

math_conjecture_lean_ai_lab

Sleeping

App Files Files Community

math_conjecture_lean_ai_lab / requirements.txt

NorthernTribe-Research's picture

NorthernTribe-Research

Deploy Conjecture Lean+AI Lab Space

b628dab verified 30 days ago

history blame contribute delete

60 Bytes

	gradio>=6.6.0,<7
	huggingface_hub>=1.5.0
	datasets>=2.21.0,<3