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
21 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
 (Merge medio 7g 15h) (26 PR unite in 30 g)
Label per principianti
help wanted

Issue

2 issue indicizzate

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