Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
dx2102
/
search-mathlib
like
2
Running
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
883c5b4
search-mathlib
2.39 GB
Ctrl+K
Ctrl+K
1 contributor
History:
14 commits
dx2102
Update server.py
883c5b4
verified
almost 2 years ago
.gitattributes
Safe
1.61 kB
Upload 2 files
almost 2 years ago
Dockerfile
Safe
169 Bytes
Update Dockerfile
almost 2 years ago
README.md
3.77 kB
Update README.md
almost 2 years ago
embed.ipynb
Safe
97.8 kB
Upload 2 files
almost 2 years ago
embed_arr.npy
Safe
2.29 GB
xet
Upload 3 files
almost 2 years ago
extract.lean
Safe
3.75 kB
Update extract.lean
almost 2 years ago
server.py
Safe
4.64 kB
Update server.py
almost 2 years ago
theorems.txt
99.3 MB
xet
Upload 2 files
almost 2 years ago
