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
Commit History
Upload folder using huggingface_hub
e49a279
Running
verified
igriv
commited on
17 days ago
initial commit
d6c654e
verified
igriv
commited on
17 days ago