Pinned Loading

1. vilin97.github.io vilin97.github.io Public

   My site

   CSS

2. uw-math-ai/TheoremSearch uw-math-ai/TheoremSearch Public

   Semantic Search Over 9 million Mathematical Theorems

   Jupyter Notebook 23 6

3. uw-math-ai/lean-error-correction uw-math-ai/lean-error-correction Public

   Lean 9 1

4. Autoformalization Autoformalization Public

   OpenClaw-style theorem proving

   Lean 30 6

5. lean-pool lean-pool Public

   Lean 137 27

6. mathlib-conventions mathlib-conventions Public

   Python 10