Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
beanapologist
/
eigenverse-prover
like
0
Runtime error
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
eigenverse-prover
355 kB
Ctrl+K
Ctrl+K
1 contributor
History:
8 commits
beanapologist
Upload README.md with huggingface_hub
57c051f
verified
15 days ago
.gitattributes
Safe
1.52 kB
initial commit
15 days ago
README.md
Safe
1.95 kB
Upload README.md with huggingface_hub
15 days ago
app.py
Safe
13.7 kB
Upload app.py with huggingface_hub
15 days ago
requirements.txt
Safe
64 Bytes
Upload requirements.txt with huggingface_hub
15 days ago
theorems_kb.json
Safe
338 kB
Upload theorems_kb.json with huggingface_hub
15 days ago
