Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
MasteredUltraInstinct
/
FinishedProject
like
0
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
828368b
FinishedProject
17.6 kB
1 contributor
History:
7 commits
MasteredUltraInstinct
Rename theroems.yaml to theorems.yaml
828368b
verified
4 months ago
.gitattributes
Safe
1.52 kB
initial commit
4 months ago
README.md
Safe
251 Bytes
initial commit
4 months ago
app.py
Safe
3.09 kB
Create app.py
4 months ago
llm_utils.py
Safe
3.22 kB
Create llm_utils.py
4 months ago
requirements.txt
Safe
88 Bytes
Create requirements.txt
4 months ago
solver.py
Safe
4.29 kB
Create solver.py
4 months ago
theorems.yaml
Safe
5.12 kB
Rename theroems.yaml to theorems.yaml
4 months ago
