Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
igriv
/
aristotle-prover
like
0
Running
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
aristotle-prover
10.6 kB
1 contributor
History:
2 commits
igriv
Upload folder using huggingface_hub
e49a279
verified
17 days ago
.gitattributes
Safe
1.52 kB
initial commit
17 days ago
README.md
Safe
88 Bytes
Upload folder using huggingface_hub
17 days ago
app.py
Safe
8.99 kB
Upload folder using huggingface_hub
17 days ago
requirements.txt
Safe
20 Bytes
Upload folder using huggingface_hub
17 days ago
