uw-math-ai/TheoremSearch
Semantic Search Over 9 million Mathematical Theorems
23
Stars
5
Forks
29.0
Radar Score
Stable
Momentum
Scoring Breakdown
Impact8.7
Velocity31.6
Health57.8
Growth Metrics
7-Day Stars
+0
30-Day Stars
+0
Acceleration
x
Language
Jupyter Notebook