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.
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.