网站访问量
lean-lang.org 每月有多少流量？
285.35K
+56.92%环比全站月访问估计
308.18K205.45K102.73K0
全球排名
102,682
国家排名 · 美国
111,652
品类排名
185
平均访问时长
01:54
每次访问页数
7.13
跳出率
43.85%
域名年龄
3.1 年
搜索占访问
52.2%
来源
lean-lang.org 的流量从哪来？
- 搜索52.2%
- 直接访问28.3%
- 引荐12.0%
- 社交4.3%
- 生成式 AI2.4%
- 邮件0.8%
- 其他0.0%
- 付费搜索0.0%
访问地区
哪些国家在访问 lean-lang.org？
- 美国21.0%
- 印度10.5%
- 加拿大7.2%
- 英国5.0%
- 德国4.8%
把 lean-lang.org 和全球访问量最高的网站、网站流量增长榜、自然搜索流量增长榜放在一起比较。
搜索可见性
哪些关键词给 lean-lang.org 带来流量？
公开搜索词
估计访问月搜索量访问 ÷ 搜索
- lean programming language6.38K14.82K43%
- lean math5.61K12.7K44%
- lean language4.01K8.01K50%
- lean品牌3.47K169.99K2%
- lean 42.77K5.16K54%
关键词排名
关键词排名
86.4M
搜索估计
New 1 · 升 2
- 排名关键词
- 12,400
- 落地页
- 4
- 搜索竞品
- 4
- AI 引用
- 2
名次估计访问
- google#142M
- gmail#118.2M
- google maps#19.4M
- google drive#14.1M
完整关键词排名属于 Pro
解锁 Pro网站概况
lean-lang.org 公开了哪些网站信息？
- HTTP 200
- 托管 ASN
- DNSSEC
- HTTP
- 200
- 页面大小
- 214.6 KiB
- 托管
- AMAZON-02 · AS16509
- TLS
- TLSv1.3 · 42 天
页面与 SEO
- Title
- Lean Programming Language
- Description
- Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
- 跨域跳转
- 否
- 正文词数
- 1,552
- 站内 / 站外链接
- 28 / 17
- 语言
- en
- H1 / H2
- 4 / 11
- 图片缺 alt
- 0 / 18
- OG / Twitter
- OG · Twitter
技术与追踪1 追踪
- 网站技术
- Netlify
- 统计工具
- Plausible
- 外链脚本主机
- cdn.jsdelivr.net · plausible.io
- 社交入口
- github.com · bsky.app · linkedin.com · x.com · github.com
- Server
- Netlify
- 安全响应头
- 1 / 6
- HSTS / CSP
- HSTS
邮件与 DNS 安全
- IPv6
- 无 AAAA
- DNSSEC
- DNSKEY · AD
- 站长验证 TXT
- SOA
- ns-cloud-c1.googledomains.com
- NS
- ns-cloud-c1.googledomains.com. · ns-cloud-c2.googledomains.com. · ns-cloud-c3.googledomains.com. · 等 1 条
托管与网络AS16509
- A
- 75.2.60.5
- 托管 ASN
- AS16509 · 75.2.60.0/24
- 托管组织
- AMAZON-02 - Amazon.com, Inc.
- 托管国家
- US
- BGP 宣告
- 是
- 反向解析
- acd89244c803f7181.awsglobalaccelerator.com
- TLS
- TLSv1.3 · 有效
- 证书签发者
- YE1
- 证书剩余
- 42 天
- 证书 SAN
- DNS:lean-lang.org · DNS:www.lean-lang.org
robots 与 AI 抓取HTTP 404
- Robots.txt
- 404
Well-known 公开路径
- 存在 / 检查
- 0 / 5
网站信息
lean-lang.org 是什么时候注册的？
- 域名
- lean-lang.org
- 域名状态
- 域名已注册
- 注册时间
- 2023-09-05
- 注册商
- Squarespace Domains II LLC
- 到期时间
- 2027-09-05
- 域名年龄
- 3.1 年
- DNSSEC
- 是
- 注册状态
- client delete prohibited · client transfer prohibited
相似网站
和 lean-lang.org 相似的网站有哪些？
报告里有什么
上面是全站月访问估计。下面是搜索可见性和公开网站信息，有数据才显示。
- 网站访问量是全站访问的第三方估计，旁边写来源、日期和可信度。
- 搜索可见性列出排名关键词和搜索流量，与全站访问分开。
- 缺数或只有部分数据时，状态会留在报告里。