Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
dx2102
/
lean-expr-tree
like
1
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
3e53e47
lean-expr-tree
1 contributor
History:
2 commits
dx2102
Upload 4 files
3e53e47
verified
6 months ago
.gitattributes
Safe
1.57 kB
Upload 4 files
6 months ago
Dockerfile
Safe
155 Bytes
Upload 4 files
6 months ago
README.md
Safe
213 Bytes
initial commit
6 months ago
exported.txt
3.57 GB
LFS
Upload 4 files
6 months ago
server.py
Safe
1.35 kB
Upload 4 files
6 months ago
website.html
Safe
4.09 kB
Upload 4 files
6 months ago
