Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
16
112 commits
3 linked in READMEs
updated Jul 22, 2026
README
Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
arxiv.org/abs/2510.15940
Acknowledgements
Lean Finder is built on open-source projects like Jixia and LeanDojo. We were inspired by LeanSearch, and we use LeanSearch in our Arena mode to let users compare results. Thanks to the creators of these awesome tools!
Contributors
Similar repos
Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
16
112 commits
3 linked in READMEs
updated Jul 22, 2026
README
Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
arxiv.org/abs/2510.15940
Acknowledgements
Lean Finder is built on open-source projects like Jixia and LeanDojo. We were inspired by LeanSearch, and we use LeanSearch in our Arena mode to let users compare results. Thanks to the creators of these awesome tools!