產品

Leandojo

這是一個研究實驗室網站,展示結合大語言模型與 Lean 等證明助手開展形式化驗證的工具、論文和研究成果,面向追蹤科學與數學嚴謹性的研究者。

leandojo.org 源碼★ 1軟體開發 / 測試與程式碼品質

AI 競品立項評估
電腦版
行動端
每月造訪次數
<5K
2026 年 10 月
公開營收
未公開
暫無公開營收證據
入門價
免費
沒有月付訂閱價
首次發布
3 年前
2023-04-27 · 估算

訪問

每月造訪次數資料截至 2026 年 10 月
事件1 個變化

行銷動作

發布、搜尋與內容、引薦、促銷
  • 發布新產品發布

    2023 年 4 月 27 日 · 3 年前官網

開源倉庫與自部署

GitHub 開源與智慧體接入
最近提交 2026-10-13
GitHub 星標
★ 1
分支數 (Forks)
—
開源協議
見倉庫說明
主要語言
—

流量來源

2026 年 10 月

訪問構成

管道

  • 直接訪問39%
  • 自然搜尋32%
  • 外部引薦10%
  • 社交媒體6%
  • 其他12%

國家/地區

  • 美國76%
  • 印度15%
  • 英國9%

搜尋

站點權重 49網域名稱註冊 2023-04-27

關鍵字月搜尋量
lean verification1,610
lean proof1,550
lean formalization1,170
alphaproof the end of mathematicians840
lean for llm in math280

流量資料:Vaneform

定價

尚未識別出定價頁,或該頁面沒有公開價格。

頁面與變化

開始記錄於 2026-11-04

關鍵頁面

每週快照
leandojo.org/ 快照 2026-11-12

變化

  1. 11 月 1 日 · 14 天前

    移除技術棧:Polyfill功能

    Polyfill→—

    當時 每月造訪次數 <5K

設計

首屏畫面視覺分析與 :root CSS

淺白背景搭配深灰 Myriad Pro 標題與正文,居中大標題下接作者資訊,主體以寬幅研究介紹段落和綠色連結呈現,整體克制清晰。

首屏畫面預覽 · 點擊放大

首屏畫面講了什麼與轉化路徑

“AI-Driven Formal Theorem Proving”

頂部橫向導航,下方居中標題與作者行;中部窄欄連續排布介紹段落,頁面下段接專案標題與搜尋篩選區。

首屏畫面轉化路徑:大號襯線標題的編輯式版面 + 純排版與圖形幾何 → 首屏畫面直接輸入或試用

  • 品類定位錨點

色板 · 點擊複製

五維設計評分6.5 / 10
字體與排版
7.0
色彩與對比
7.0
構圖與留白
7.0
細節與工藝
6.0
風格辨識度
5.0

結構

字體
Myriad-Pro
主視覺
純排版與圖形幾何
信任背書
無顯式背書
導航
頂部通欄導航
明暗與密度
淺色 · 適中
圓角與層級
中圓角 · 細線分層
預覽 AI 設計說明全文(含 :root CSS 變量與版式規則)只寫風格參數,禁止復刻該產品的品牌名、標誌、文案與圖片
# 設計說明:極簡單色(兼備企業穩重)

黑白灰加一個強調色,細線分隔,大量留白,靠字號與字重分層級。

## 設計參數

```css
:root {
  --background: #ffffff;
  --surface: #f3f3f3;
  --foreground: #000000;
  --muted-foreground: #363636;
  --accent: #00b803;
  --radius: 8px;
  --font-heading: "Myriad-Pro", ui-sans-serif, system-ui, sans-serif;
  --font-body: "Myriad-Pro", ui-sans-serif, system-ui, sans-serif;
}
```

色彩面積配比:背景 #FFFFFF(約 74%) · 面板 #F3F3F3(約 15%) · 正文 #000000(約 5%) · 次要文字 #363636(約 4%) · 強調 #00B803(約 2%)。背景與面板占絕大部分面積,強調色只用於主按鈕與當前激活狀態。

## 版式與轉化結構

- 首屏畫面版式:大號襯線標題的編輯式版面
- 導航結構:頂部通欄導航
- 明暗與密度:淺色 · 適中
- 圓角與層級:中圓角;不用陰影,用細線與留白區分層級
- 主視覺載體:純排版與圖形幾何
- 轉化動作:首屏畫面直接輸入或試用
- 標題切入點:品類定位錨點
- 空間布局拆解:頂部橫向導航,下方居中標題與作者行;中部窄欄連續排布介紹段落,頁面下段接專案標題與搜尋篩選區。
- 視覺特徵總結:淺白背景搭配深灰 Myriad Pro 標題與正文,居中大標題下接作者資訊,主體以寬幅研究介紹段落和綠色連結呈現,整體克制清晰。

## 避免

- 多種強調色並用
- 漸層背景
- 重陰影

請按上面的設計參數與版式實現介面:顏色只用這些變量,強調色只給主要操作與當前狀態。只採用這種風格,禁止復刻任何參考產品的品牌名、標誌、文案與圖片。

問題與證據

Leandojo 的網站造訪次數是多少?
Vaneform 估算 2026-10 網站造訪次數為 <5K。造訪次數包含重複訪問,付費客戶數與收入需分別查看對應證據。來源
Leandojo 是什麼產品,支援哪些平台?
Leandojo 歸屬「測試與程式碼品質」市場領域:這是一個研究實驗室網站,展示結合大語言模型與 Lean 等證明助手開展形式化驗證的工具、論文和研究成果,面向追蹤科學與數學嚴謹性的研究者。。 支援平台包括:僅網頁。
Leandojo 是開源專案嗎?採用什麼協議?
Leandojo 擁有公開程式碼倉庫(https://github.com/lean-dojo/FloatLib),已公開原始碼倉庫,記錄有 1 個 GitHub Stars。來源

同分類研究對象

軟體開發 / 測試與程式碼品質

這些產品屬於同一目錄分類。選型時請進一步核對客戶任務、功能與部署要求。