倉庫議題

leanprover-community/batteries

The "batteries included" extended library for the Lean programming language and theorem prover

在 GitHub 查看
星標
 (406 顆星)
分叉
 (154 個分叉)
已索引議題
 (2 個已索引議題)
個開放新手議題
 (2 個開放的新手議題)
最近索引
2026年8月14日
最近 GitHub push
2026年7月16日
授權條款
Apache License 2.0
貢獻指南
沒有貢獻指南
行為準則
沒有行為準則
主要語言
Lean
PR 合併指標
 (PR 指標待抓取)
新手標籤
help wanted

議題

0 個已關閉索引議題

此倉庫沒有已關閉的已索引議題。