Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
NorthernTribe-Research
/
math_conjecture_lean_ai_lab
like
0
Running
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
b628dab
math_conjecture_lean_ai_lab
19.7 kB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
NorthernTribe-Research
Deploy Conjecture Lean+AI Lab Space
b628dab
verified
27 days ago
.gitattributes
Safe
1.52 kB
initial commit
27 days ago
README.md
Safe
1.34 kB
Deploy Conjecture Lean+AI Lab Space
27 days ago
app.py
Safe
16.8 kB
Deploy Conjecture Lean+AI Lab Space
27 days ago
requirements.txt
Safe
60 Bytes
Deploy Conjecture Lean+AI Lab Space
27 days ago
