- Stars
- 406 estrelas (406 estrelas)
- Forks
- 154 forks (154 forks)
- Issues indexadas
- 2 issues indexadas (2 issues indexadas)
- issues iniciantes abertas
- 2 issues iniciantes abertas (2 issues iniciantes abertas)
- Última indexação
- 14 de ago. de 2026
- Último push no GitHub
- 16 de jul. de 2026
- Guia de contribuição
- Nenhum guia de contribuição
- Código de conduta
- Nenhum código de conduta
- Linguagem principal
- Lean
- Métricas de merge de PR
- Métricas PR pendentes (Métricas PR pendentes)
- Labels para iniciantes
- help wanted
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantes
leanprover-community / batteries · #1465 · 16 de out. de 2025 · Lean · 406 estrelas
1 comentário0 reação0 responsável Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantes
leanprover-community / batteries · #1442 · 2 de out. de 2025 · Lean · 406 estrelas
5 comentários0 reação0 responsável 