Spaces:

dx2102
/

search-mathlib

Running

App Files Files Community

Commit History

Update server.py

44d078f

Running
verified

dx2102 commited on Aug 10, 2024

Update README.md

3d544a7
verified

dx2102 commited on Aug 10, 2024

Update extract.lean

13b6cf4
verified

dx2102 commited on Aug 4, 2024

Update extract.lean

ec0626f
verified

dx2102 commited on Aug 1, 2024

Update server.py

883c5b4
verified

dx2102 commited on Jul 31, 2024

Update server.py

12f3633
verified

dx2102 commited on Jul 31, 2024

Update server.py

e524d59
verified

dx2102 commited on Jul 31, 2024

Update README.md

3ebd253
verified

dx2102 commited on Jul 30, 2024

Update extract.lean

6fbc7f0
verified

dx2102 commited on Jul 30, 2024

Update server.py

7b80965
verified

dx2102 commited on Jul 29, 2024

Upload 2 files

19cafec
verified

dx2102 commited on Jul 29, 2024

Update Dockerfile

a08a0df
verified

dx2102 commited on Jul 29, 2024

Upload 2 files

b65779c
verified

dx2102 commited on Jul 29, 2024

Delete server_embed.py

87b632e
verified

dx2102 commited on Jul 29, 2024

Delete ast.txt

e44c693
verified

dx2102 commited on Jul 29, 2024

Upload Dockerfile

9ec1c52
verified

dx2102 commited on Jul 29, 2024

Upload 3 files

e8eca0b
verified

dx2102 commited on Jul 29, 2024

initial commit

a98a2b2
verified

dx2102 commited on Jul 29, 2024