leanfinder.org
leanfinder.org is a live website hosted on The Constant Company, LLC (AS20473) in the United States. cl0q first saw it on 2026-07-16 and last crawled it on 2026-07-23. It resolves to 45.77.92.157.
How the site describes itself:
Lean Finder - a Hugging Face Space by delta-lab-ai
This app lets you type a plain‑text query (like a theorem description, a proof state, or a question) and choose a Mathlib version. It returns matching Lean formal names, informal descriptions, type...
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-07-16 |
| Last crawled | 2026-07-23 |
| IPv4 | 45.77.92.157 |
| Network | AS20473 The Constant Company, LLC · United States |
Explore more like this
More sites on The Constant Company, LLC
Get this data at scale
This dossier is one domain from cl0q's index. Query the same live index through the API, or download the censuses built from it.
- API credit pack — 1,000 lookups against the live index, no subscription.