- 月访问
- 256.1K
- 下降10.2%环比2026 年 10 月
- 公开收入
- 未公开
- 暂无公开收入证据
- 入门价
- 免费
- 没有月付订阅价
- 首次发布
- 3 年前
- 2023-09-05 · 估算
访问
营销动作
发布、搜索与内容、引荐、促销X 账号@leanprover
- Time for @leanprover verified kernels 引用帖 @tobi： What a disaster https://atlasum.net/blog/cve-2026-98432-linux-ipv4-tcp-uaf
@juanbenet · 2026-11-02 · 9 赞 · 0 转发 · 1,659 浏览
发布新产品发布
2023 年 9 月 5 日 · 3 年前官网
开源仓库与自部署
GitHub 开源与智能体接入
流量来源
2026 年 10 月
访问构成
渠道
- 自然搜索55%
- 直接访问31%
- 外部引荐9%
- 其他5%
国家/地区
- 美国24%
- 印度14%
- 英国9%
- 德国6%
- 加拿大4%
搜索
站点权重 —域名注册 2023-09-05
| 关键词 | 月搜索量 |
|---|---|
| lean | 178.2K |
| lean programming language | 11K |
| lean math | 6,940 |
| lean 4 | 3,890 |
| lean language | 3,750 |
流量数据：Vaneform
定价
尚未识别出定价页，或该页面没有公开价格。
页面与变化
开始记录于 2026-11-04
关键页面
每周快照lean-lang.org/ 快照 2026-11-05
设计
首屏视觉分析与 :root CSS
浅灰白底配单一蓝色强调，细线描边代码卡片与大面积留白，靠字号与字重分层，整体极简克制。
首屏预览 · 点击放大
首屏讲了什么与转化路径
“Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code”
顶栏下蓝色公告条，左侧大标志与说明加按钮，右侧圆角代码卡片。
首屏转化路径：左文右图 + 代码块、终端或命令行 → 免费开始 / 立即注册
色板 · 点击复制
五维设计评分7.1 / 10
- 字体与排版
- 7.0
- 色彩与对比
- 7.0
- 构图与留白
- 8.0
- 细节与工艺
- 7.0
- 风格辨识度
- 6.0
结构
- 字体
- Inter / JetBrains Mono
- 首屏版式
- 左文右图
- 主视觉
- 代码块、终端或命令行
- 转化动作
- 免费开始 / 立即注册
- 信任背书
- 无显式背书
- 导航
- 顶部通栏导航
- 明暗与密度
- 浅色 · 留白多
- 圆角与层级
- 中圆角 · 有阴影
预览 AI 设计说明全文（含 :root CSS 变量与版式规则）只写风格参数，禁止复刻该产品的品牌名、标志、文案与图片
# 设计说明：极简单色
黑白灰加一个强调色，细线分隔，大量留白，靠字号与字重分层级。
## 设计参数
```css
:root {
--background: #f4f7fb;
--surface: #ffffff;
--foreground: #1a1d24;
--muted-foreground: #6b7280;
--accent: #2f6fed;
--radius: 8px;
--font-heading: "Inter", ui-sans-serif, system-ui, sans-serif;
--font-body: "Inter", ui-sans-serif, system-ui, sans-serif;
--font-mono: "JetBrains Mono", ui-monospace, monospace;
}
```
色彩面积配比：背景 #F4F7FB（约 46%） · 面板 #FFFFFF（约 28%） · 正文 #1A1D24（约 12%） · 次要文字 #6B7280（约 6%） · 强调 #2F6FED（约 8%）。背景与面板占绝大部分面积，强调色只用于主按钮与当前激活状态。
## 版式与转化结构
- 首屏版式：左文右图
- 导航结构：顶部通栏导航
- 明暗与密度：浅色 · 留白多
- 圆角与层级：中圆角；用阴影区分层级
- 主视觉载体：代码块、终端或命令行
- 转化动作：免费开始 / 立即注册
- 标题切入点：品类定位锚点
- 首屏组件特征：代码与终端、首屏大幅产品界面
- 空间布局拆解：顶栏下蓝色公告条，左侧大标志与说明加按钮，右侧圆角代码卡片。
- 视觉特征总结：浅灰白底配单一蓝色强调，细线描边代码卡片与大面积留白，靠字号与字重分层，整体极简克制。
## 避免
- 多种强调色并用
- 渐变背景
- 重阴影
请按上面的设计参数与版式实现界面：颜色只用这些变量，强调色只给主要操作与当前状态。只采用这种风格，禁止复刻任何参考产品的品牌名、标志、文案与图片。
问题与证据
同分类研究对象
软件开发 / 开发者效率工具
这些产品属于同一目录分类。选型时请进一步核对客户任务、功能与部署要求。