Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
delta-lab-ai
/
Lean-Finder
like
16
Running
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
Lean-Finder
140 kB
Ctrl+K
Ctrl+K
4 contributors
History:
110 commits
mikeljl
Claude Opus 4.8
Disable Gradio SSR (ssr_mode=False) to fix unstyled/broken render on Space
9d03223
about 1 month ago
.gitattributes
Safe
1.52 kB
initial commit
about 1 year ago
.gitignore
Safe
47 Bytes
update to lean_finder_v1_updated endpoint, UI change
3 months ago
README.md
Safe
661 Bytes
Bump gradio sdk_version 5.34.0 -> 5.50.0 to fix blank page (frontend _app/immutable assets 404 on old build)
about 1 month ago
app.py
Safe
58.9 kB
Disable Gradio SSR (ssr_mode=False) to fix unstyled/broken render on Space
about 1 month ago
lean_finder_logo.png
Safe
79.2 kB
include logo
about 1 year ago
requirements.txt
Safe
56 Bytes
update to lean_finder_v1_updated endpoint, UI change
3 months ago
