Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
igriv
/
aristotle-prover
like
0
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
aristotle-prover
10.6 kB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
igriv
Upload folder using huggingface_hub
e49a279
verified
3 months ago
.gitattributes
Safe
1.52 kB
initial commit
3 months ago
README.md
Safe
88 Bytes
Upload folder using huggingface_hub
3 months ago
app.py
Safe
8.99 kB
Upload folder using huggingface_hub
3 months ago
requirements.txt
Safe
20 Bytes
Upload folder using huggingface_hub
3 months ago
