Repository Issues

leanprover-community/batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Auf GitHub ansehen
Stars
 (406 Sterne)
Forks
 (154 Forks)
Indexierte Issues
 (2 indexierte Issues)
offene Einsteiger-Issues
 (2 offene Einsteiger-Issues)
Zuletzt indexiert
14.08.2026
Letzter GitHub Push
16.07.2026
Lizenz
Apache License 2.0
Contributing Guide
Kein Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
Lean
PR-Merge-Metriken
 (PR-Metriken ausstehend)
Einsteiger-Labels
help wanted

Issues

2 offene indexierte Issues

Offen
Verify Binary Heap
enhancementhelp wanted
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhanden

leanprover-community / batteries · #1442 · 02.10.2025 · Lean · 406 Sterne

5 Kommentare0 Reaktionen0 zugewiesene Personen