仓库议题

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

议题

2 个开放索引议题

开放
Verify Binary Heap
enhancementhelp wanted
为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签

leanprover-community / batteries · #1442 · 2025年10月2日 · Lean · 406 个星标

5 条评论0 个反应0 位负责人