The code for A Semantic Search Engine for Mathlib4 is hosted at https://github.com/frenzymath/LeanSearch. The dataset is available at https://huggingface.co/datasets/FrenzyMath/mathlib_informal_v4.16.0.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
The code for A Semantic Search Engine for Mathlib4 is hosted at https://github.com/frenzymath/LeanSearch. The dataset is available at https://huggingface.co/datasets/FrenzyMath/mathlib_informal_v4.16.0.
