Repository Issues

leanprover-community/batteries

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

GitHub で見る
Stars
 (406 個のスター)
Forks
 (154 件のフォーク)
Indexed issues
 (2 件の索引済み Issue)
open beginner issues
 (2 件のオープンな初心者向け Issue)
最終索引
2026/08/14
最終 GitHub push
2026/07/16
ライセンス
Apache License 2.0
コントリビューションガイド
コントリビューションガイドはありません
行動規範
行動規範はありません
主要言語
Lean
PR merge metrics
 (PR metrics pending)
初心者向けラベル
help wanted

Issue

2 件のオープンな索引 Issue

オープン
Verify Binary Heap
enhancementhelp wanted
おすすめ理由担当者がまだいない · 初心者向けラベルあり
担当者がまだいない初心者向けラベルあり

leanprover-community / batteries · #1442 · 2025/10/02 · Lean · 406 個のスター

5 件のコメント0 件のリアクション0 人の担当者