- Star
- 219 stelle (219 stelle)
- Fork
- 45 fork (45 fork)
- Issue indicizzate
- 4 issue indicizzate (4 issue indicizzate)
- issue per principianti aperte
- 0 issue per principianti aperte (0 issue per principianti aperte)
- Ultima indicizzazione
- 1 ago 2026
- Ultimo push GitHub
- 22 lug 2026
- Guida contributori
- Nessuna guida contributori
- Codice di condotta
- Nessun codice di condotta
- Linguaggio principale
- Lean
- Metriche merge PR
- Metriche PR in attesa (Metriche PR in attesa)
- Label per principianti
- Nessuna label per principianti indicizzata
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese
leanprover-community / ProofWidgets4 · #70 · 15 lug 2024 · Lean · 219 stelle
0 commenti0 reazioni0 assegnatari Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
leanprover-community / ProofWidgets4 · #33 · 8 nov 2023 · Lean · 219 stelle
2 commenti0 reazioni0 assegnatari Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiRepository attivo questo mese
leanprover-community / ProofWidgets4 · #6 · 13 apr 2023 · Lean · 219 stelle
0 commenti0 reazioni0 assegnatari Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiRepository attivo questo mese
leanprover-community / ProofWidgets4 · #4 · 11 apr 2023 · Lean · 219 stelle
1 commento0 reazioni0 assegnatari 