Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up

Spaces:

dx2102
/

search-mathlib

Running

App Files Files Community

1 contributor

History: 2 commits

dx2102's picture

Upload 3 files

e8eca0b verified 5 months ago

.gitattributes

1.56 kB

Upload 3 files 5 months ago
README.md

211 Bytes

initial commit 5 months ago
ast.txt

99.3 MB
LFS

Upload 3 files 5 months ago
embed_arr.npy

2.29 GB
LFS

Upload 3 files 5 months ago
server_embed.py

4.49 kB

Upload 3 files 5 months ago