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