Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
MasteredUltraInstinct
/
FinishedProject
like
0
Build error
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
a8d8a50
FinishedProject
17.6 kB
Ctrl+K
Ctrl+K
1 contributor
History:
6 commits
MasteredUltraInstinct
Create theroems.yaml
a8d8a50
verified
10 months ago
.gitattributes
Safe
1.52 kB
initial commit
10 months ago
README.md
Safe
251 Bytes
initial commit
10 months ago
app.py
Safe
3.09 kB
Create app.py
10 months ago
llm_utils.py
Safe
3.22 kB
Create llm_utils.py
10 months ago
requirements.txt
Safe
88 Bytes
Create requirements.txt
10 months ago
solver.py
Safe
4.29 kB
Create solver.py
10 months ago
theroems.yaml
Safe
5.12 kB
Create theroems.yaml
10 months ago
