- Stars
- 219 Sterne (219 Sterne)
- Forks
- 45 Forks (45 Forks)
- Indexierte Issues
- 4 indexierte Issues (4 indexierte Issues)
- offene Einsteiger-Issues
- 0 offene Einsteiger-Issues (0 offene Einsteiger-Issues)
- Zuletzt indexiert
- 01.08.2026
- Letzter GitHub Push
- 22.07.2026
- Contributing Guide
- Kein Contributing Guide
- Code of Conduct
- Kein Code of Conduct
- Hauptsprache
- Lean
- PR-Merge-Metriken
- PR-Metriken ausstehend (PR-Metriken ausstehend)
- Einsteiger-Labels
- Keine Einsteiger-Labels indexiert
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
leanprover-community / ProofWidgets4 · #70 · 15.07.2024 · Lean · 219 Sterne
0 Kommentare0 Reaktionen0 zugewiesene Personen Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
leanprover-community / ProofWidgets4 · #33 · 08.11.2023 · Lean · 219 Sterne
2 Kommentare0 Reaktionen0 zugewiesene Personen Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
leanprover-community / ProofWidgets4 · #6 · 13.04.2023 · Lean · 219 Sterne
0 Kommentare0 Reaktionen0 zugewiesene Personen Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenRepository diesen Monat aktiv
leanprover-community / ProofWidgets4 · #4 · 11.04.2023 · Lean · 219 Sterne
1 Kommentar0 Reaktionen0 zugewiesene Personen 