h2co3w/scholia
A formal proof is legible to a compiler, not to a mathematician. This DSH plugin renders a Lean 4 / Mathlib theorem as a paper page and reduces its 1,829-module dependency cone to one readable main li
🔌 需要联网
未声明
⏳ 沙箱测试
未测
這個插件適合誰
- 用 DSH 寫代碼、需要 Git 整合的開發者
下载量 / Downloads
0
安装
dsh plugin --profile web add h2co3w/scholia
沙箱测试
这个插件还没测过。提交测试 →
链接
常見問題
怎麼安裝 h2co3w/scholia？
在 DSH 裡執行
dsh plugin --profile web add h2co3w/scholia。如果你用的是 DSH Desktop，也可以在插件頁面直接貼套件名。裝不上怎麼辦？
先確認 DSH 版本夠新（
dsh --version），再看上面測試結果區的第一條錯誤。還不行就到 GitHub 倉庫提 issue。怎麼卸載？
執行
dsh plugin --profile web remove h2co3w/scholia。