Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
wr1240148048
/
stack_project_to_mathlib4_search
like
0
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
stack_project_to_mathlib4_search
Ctrl+K
Ctrl+K
1 contributor
History:
11 commits
wr1240148048
Update app.py
83cedb8
verified
about 2 months ago
chroma_db2
Upload 6 files
about 2 months ago
.gitattributes
Safe
1.58 kB
Upload 6 files
about 2 months ago
README.md
Safe
332 Bytes
initial commit
about 2 months ago
app.py
Safe
6.51 kB
Update app.py
about 2 months ago
requirements.txt
Safe
26 Bytes
Update requirements.txt
about 2 months ago
