Spaces:

dx2102
/

search-mathlib

Running

App Files Files Community

Commit History

Upload 2 files

b65779c
verified

dx2102 commited on Jul 29

Delete server_embed.py

87b632e
verified

dx2102 commited on Jul 29

Delete ast.txt

e44c693
verified

dx2102 commited on Jul 29

Upload Dockerfile

9ec1c52
verified

dx2102 commited on Jul 29

Upload 3 files

e8eca0b
verified

dx2102 commited on Jul 29

initial commit

a98a2b2
verified

dx2102 commited on Jul 29