- 每月造訪次數
- 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%）。背景與面板占絕大部分面積，強調色只用於主按鈕與當前激活狀態。
## 版式與轉化結構
- 首屏畫面版式：左文右圖
- 導航結構：頂部通欄導航
- 明暗與密度：淺色 · 留白多
- 圓角與層級：中圓角；用陰影區分層級
- 主視覺載體：程式碼塊、終端機或命令列
- 轉化動作：免費開始 / 立即註冊
- 標題切入點：品類定位錨點
- 首屏畫面元件特徵：程式碼與終端機、首屏畫面大幅產品介面
- 空間布局拆解：頂欄下藍色公告條，左側大標誌與說明加按鈕，右側圓角程式碼卡片。
- 視覺特徵總結：淺灰白底配單一藍色強調，細線描邊程式碼卡片與大面積留白，靠字號與字重分層，整體極簡克制。
## 避免
- 多種強調色並用
- 漸層背景
- 重陰影
請按上面的設計參數與版式實現介面：顏色只用這些變量，強調色只給主要操作與當前狀態。只採用這種風格，禁止復刻任何參考產品的品牌名、標誌、文案與圖片。
問題與證據
同分類研究對象
軟體開發 / 開發者效率工具
這些產品屬於同一目錄分類。選型時請進一步核對客戶任務、功能與部署要求。