Space: delta-lab-ai/Lean-Finder
title: Lean Finder
sdk: gradio
license: mit
short_description: Code search for Lean 4
Tags: gradio, region:us