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...
main
math_conjecture_lean_ai_lab
42.8 kB
Ctrl+K
Ctrl+K
1 contributor
History:
7 commits
NorthernTribe-Research
UI restyle: strict monochrome tactical palette (black/gray/white) for conjecture lab space
c4131d8
verified
1 day ago
__pycache__
Final sync push for conjecture lab space
1 day ago
.gitattributes
Safe
1.52 kB
initial commit
1 day ago
README.md
Safe
1.34 kB
Deploy Conjecture Lean+AI Lab Space
1 day ago
app.py
Safe
18 kB
UI restyle: strict monochrome tactical palette (black/gray/white) for conjecture lab space
1 day ago
requirements.txt
Safe
60 Bytes
Deploy Conjecture Lean+AI Lab Space
1 day ago
