Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Spaces:

Tonic
/

Math

Running on Zero

App Files Files Community

Fetching metadata from the HF Docker repository...

Math

Ctrl+K

Ctrl+K

1 contributor

History: 24 commits

Tonic's picture

add goedel's prover

582c792 verified 4 months ago

.gitattributes

1.52 kB

initial commit over 1 year ago
README.md

311 Bytes

Update README.md about 1 year ago
app.py

10.1 kB

add goedel's prover 4 months ago
requirements.txt

29 Bytes

Update requirements.txt over 1 year ago