Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
Log In
Sign Up

Spaces:

Aroy1997
/

poly_oracle

Sleeping

App Files Files Community

Fetching metadata from the HF Docker repository...

14.4 kB

Ctrl+K

Ctrl+K

1 contributor

History: 7 commits

Aroy1997's picture

Create solver.py

1054aa3 verified 10 months ago

.gitattributes

1.52 kB
initial commit 10 months ago
README.md

232 Bytes
initial commit 10 months ago
app.py

2.45 kB
Update app.py 10 months ago
requirements.txt

88 Bytes
Create requirements.txt 10 months ago
solver.py

4.29 kB
Create solver.py 10 months ago
theorems.yaml

5.77 kB
Create theorems.yaml 10 months ago