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
main
lean-expr-tree
1 contributor
History:
7 commits
dx2102
Update website.html
3ff9ec7
verified
3 months ago
.gitattributes
Safe
1.57 kB
Upload 4 files
3 months ago
Dockerfile
Safe
156 Bytes
Update Dockerfile
3 months ago
README.md
Safe
213 Bytes
initial commit
3 months ago
exported.txt
Safe
1.87 GB
LFS
Upload exported.txt
3 months ago
server.py
Safe
1.35 kB
Update server.py
3 months ago
website.html
Safe
4.11 kB
Update website.html
3 months ago
