README.md

metadata

title: Lean Finder
emoji: 👁
colorFrom: red
colorTo: purple
sdk: gradio
sdk_version: 5.34.0
app_file: app.py
pinned: false
license: mit
short_description: Code search for Lean 4

Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference

arxiv.org/abs/2510.15940