Lean Finder: likes over time

delta-lab-ai/Lean-Finder is a gradio Space on the Hugging Face Hub. It has 16 likes, 0 in the last 7 days and 0 in the last 30, and ranks #6,324 among Spaces by likes.

Code search for Lean 4

Open delta-lab-ai/Lean-Finder on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.