Issue del repository

leanprover-community/batteries

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

Vedi su GitHub
Star
 (406 stelle)
Fork
 (154 fork)
Issue indicizzate
 (2 issue indicizzate)
issue per principianti aperte
 (2 issue per principianti aperte)
Ultima indicizzazione
14 ago 2026
Ultimo push GitHub
16 lug 2026
Licenza
Apache License 2.0
Guida contributori
Nessuna guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
Lean
Metriche merge PR
 (Metriche PR in attesa)
Label per principianti
help wanted

Issue

2 issue indicizzate aperte

Aperta
Verify Binary Heap
enhancementhelp wanted
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principianti

leanprover-community / batteries · #1442 · 2 ott 2025 · Lean · 406 stelle

5 commenti0 reazioni0 assegnatari