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...
828368b
FinishedProject
17.6 kB
Ctrl+K
Ctrl+K
1 contributor
History:
7 commits
MasteredUltraInstinct
Rename theroems.yaml to theorems.yaml
828368b
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
theorems.yaml
Safe
5.12 kB
Rename theroems.yaml to theorems.yaml
10 months ago
