leanprover-community/mathlib4 Issues

Stars: (3,405 個のスター)
Forks: (1,381 件のフォーク)
Indexed issues: (16 件の索引済み Issue)
open beginner issues: (0 件のオープンな初心者向け Issue)
最終索引: 2026/07/27
最終 GitHub push: 2026/06/07
ライセンス: Apache License 2.0
コントリビューションガイド: コントリビューションガイド
行動規範: 行動規範
主要言語: Lean
PR merge metrics: (30d に merged PR はありません)
初心者向けラベル: 索引済み初心者向けラベルはありません

Issue

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

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