Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
dx2102
/
search-mathlib
like
2
Running
App
Files
Files
Community
44d078f
search-mathlib
1 contributor
History:
18 commits
dx2102
Update server.py
44d078f
verified
5 months ago
.gitattributes
Safe
1.61 kB
Upload 2 files
5 months ago
Dockerfile
Safe
169 Bytes
Update Dockerfile
5 months ago
README.md
Safe
3.87 kB
Update README.md
5 months ago
embed.ipynb
Safe
97.8 kB
Upload 2 files
5 months ago
embed_arr.npy
Safe
2.29 GB
LFS
Upload 3 files
5 months ago
extract.lean
Safe
4.21 kB
Update extract.lean
5 months ago
server.py
Safe
5.06 kB
Update server.py
5 months ago
theorems.txt
Safe
99.3 MB
LFS
Upload 2 files
5 months ago