Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
Spaces:
Yiyaozz
/
Lean0.1
like
0
Paused
App
Files
Files
Community
main
Lean0.1
/
requirements.txt
Yiyaozz
Update requirements.txt
8030021
10 months ago
raw
Copy download link
history
blame
contribute
delete
No virus
112 Bytes
gradio==4.8.0
transformers==4.34.0
torch==1.12.1 # Confirm this version is compatible with transformers 4.34.0