leanprover-community/mathlib3 Issues

Stars: (1.667 Sterne)
Forks: (290 Forks)
Indexierte Issues: (0 indexierte Issues)
offene Einsteiger-Issues: (0 offene Einsteiger-Issues)
Zuletzt indexiert: 16.08.2026
Letzter GitHub Push: 30.10.2023
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 indexierte Issues

Für dieses Repository wurden keine indexierten Issues gefunden.