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.