Scholia DSH 插件

Scholia 是一款針對 Lean 4 / Mathlib 的插件，旨在解決定理依賴錐（可能多達 1829 個模塊）閱讀困難的問題。它通過算法將複雜的依賴關係簡化爲一條可讀的主線，並將定理渲染爲論文風格頁面。 該插件支持生成包含數學公式、源碼、分步標註、閱讀大綱、步驟頁面以及模塊級依賴圖（DAG）的靜態頁面。目前版本爲 v0.1，依賴 Node.js 24+ 和 SQLite，需配合外部 Corpus 數據使用。