Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Spaces:

dx2102
/

search-mathlib

Running

App Files Files Community

Fetching metadata from the HF Docker repository...

Ctrl+K

Ctrl+K

1 contributor

History: 18 commits

dx2102's picture

Update server.py

44d078f verified about 1 year ago

.gitattributes

1.61 kB

Upload 2 files about 1 year ago
Dockerfile

169 Bytes

Update Dockerfile about 1 year ago
README.md

3.87 kB

Update README.md about 1 year ago
embed.ipynb

97.8 kB

Upload 2 files about 1 year ago
embed_arr.npy

2.29 GB
LFS

Upload 3 files about 1 year ago
extract.lean

4.21 kB

Update extract.lean about 1 year ago
server.py

5.06 kB

Update server.py about 1 year ago
theorems.txt

99.3 MB
LFS

Upload 2 files about 1 year ago