leanprover-community/batteries Issues

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

Issue

0 件のクローズ済み索引 Issue

このリポジトリには closed の索引済み Issue がありません。