delta-lab-ai/Lean-Finder

delta-lab-ai/Lean-Finder: Space from Hugging Face: delta-lab-ai/Lean-Finder License: mit. external Hugging Face metadata. Scan: pending.

License

mit

Scan status

pending

Hosting status

external

Upstream

delta-lab-ai/Lean-Finder

Open interactive artifact page