leanprover-community/mathlib4 Issues

Stars: (3.405 Sterne)
Forks: (1.381 Forks)
Indexierte Issues: (16 indexierte Issues)
offene Einsteiger-Issues: (0 offene Einsteiger-Issues)
Zuletzt indexiert: 27.07.2026
Letzter GitHub Push: 07.06.2026
Lizenz: Apache License 2.0
Contributing Guide: Contributing Guide
Code of Conduct: Code of Conduct
Hauptsprache: Lean
PR-Merge-Metriken: (Keine gemergten PRs in 30 T)
Einsteiger-Labels: Keine Einsteiger-Labels indexiert

Issues

0 geschlossene indexierte Issues

Für dieses Repository wurden keine geschlossenen indexierten Issues gefunden.