Hugging Face's logo

Spaces:
dx2102
/
search-mathlib
Running

App Files Community
dx2102 commited on
Commit
3d544a7
·
verified ·
1 Parent(s): 13b6cf4

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +2 -1
README.md CHANGED
@@ -6,9 +6,10 @@ colorTo: pink
6
  sdk: docker
7
  pinned: false
8
  license: mit
 
9
  ---
10
 
11
- Hi. I made a webpage that searches for Mathlib theorems.
12
  https://huggingface.co/spaces/dx2102/search-mathlib
13
 
14
  You can find the code and data I used here. I think the code is quite short. There is only one Lean file (about 100 lines) and two Python files (about 100 lines each).
 
6
  sdk: docker
7
  pinned: false
8
  license: mit
9
+ short_description: Search for theorems and definitions in Mathlib and Lean4.
10
  ---
11
 
12
+ Hi. I made a webpage that searches for Mathlib theorems in the Lean4 theorem prover.
13
  https://huggingface.co/spaces/dx2102/search-mathlib
14
 
15
  You can find the code and data I used here. I think the code is quite short. There is only one Lean file (about 100 lines) and two Python files (about 100 lines each).