Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
Log In
Sign Up

Spaces:

dx2102
/

search-mathlib

Running

App Files Files Community

Fetching metadata from the HF Docker repository...

2.39 GB

Ctrl+K

Ctrl+K

1 contributor

History: 6 commits

dx2102's picture

Upload 2 files

b65779c verified over 1 year ago

.gitattributes

1.61 kB
Upload 2 files over 1 year ago
Dockerfile

175 Bytes
Upload Dockerfile over 1 year ago
README.md

211 Bytes
initial commit over 1 year ago
embed_arr.npy

2.29 GB
xet

Upload 3 files over 1 year ago
server.py

4.49 kB
Upload 2 files over 1 year ago
theorems.txt

99.3 MB
xet

Upload 2 files over 1 year ago