回首頁LeanWarp
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.Isagoge-Labs/leanwarp |
| 版本 | 0.2.5 |
| 分類 | 開發工具 |
| 遠端網址 | — |
| 安裝套件 | pypi：leanwarp（stdio） |
| 原始碼 | https://github.com/Isagoge-Labs/LeanWarp-SDK |
| 網站 | https://isagoge.in/leanwarp |
| 最後更新 | 2026-11-06T01:15:39.318824Z |