Hugging Face's logo

Spaces:
dx2102
/
search-mathlib
Running

App Files Community
dx2102 commited on
Commit
e44c693
·
verified ·
1 Parent(s): 9ec1c52

Delete ast.txt

Browse files
Files changed (1) hide show
  1. ast.txt +0 -3
ast.txt DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:32075dd1929d18fe6cad3e7d9f0ad9346dea43530bcc374210316b03213e6c23
3
- size 99276292