- Stars
- 219 estrelas (219 estrelas)
- Forks
- 45 forks (45 forks)
- Issues indexadas
- 4 issues indexadas (4 issues indexadas)
- issues iniciantes abertas
- 4 issues iniciantes abertas (4 issues iniciantes abertas)
- Última indexação
- 15 de ago. de 2026
- Último push no GitHub
- 22 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 wantedgood first issue
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesRepositório ativo este mês
leanprover-community / ProofWidgets4 · #70 · 15 de jul. de 2024 · Lean · 219 estrelas
0 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 iniciantesRepositório ativo este mês
leanprover-community / ProofWidgets4 · #33 · 8 de nov. de 2023 · Lean · 219 estrelas
2 comentários0 reação0 responsável Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesRepositório ativo este mês
leanprover-community / ProofWidgets4 · #6 · 13 de abr. de 2023 · Lean · 219 estrelas
0 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 iniciantesRepositório ativo este mês
leanprover-community / ProofWidgets4 · #4 · 11 de abr. de 2023 · Lean · 219 estrelas
1 comentário0 reação0 responsável 