Hugging Face Space: delta-lab-ai/Lean-Finder
Author: delta-lab-ai
SDK: gradio
title: Lean Finder
license: mit
short_description: Code search for Lean 4