- Stars
- 3.869 estrelas (3.869 estrelas)
- Forks
- 1.592 forks (1.592 forks)
- Issues indexadas
- 17 issues indexadas (17 issues indexadas)
- issues iniciantes abertas
- 17 issues iniciantes abertas (17 issues iniciantes abertas)
- Última indexação
- 10 de ago. de 2026
- Último push no GitHub
- 16 de ago. de 2026
- Linguagem principal
- Lean
- Métricas de merge de PR
- Nenhuma PRs mesclada em 30d (Nenhuma PRs mesclada em 30d)
- Labels para iniciantes
- good first issuehelp wanted
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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #42275 · 30 de jul. de 2026 · Lean · 3.869 estrelas
1 comentário1 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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #38550 · 26 de abr. de 2026 · Lean · 3.869 estrelas
3 comentários1 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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #38421 · 23 de abr. de 2026 · Lean · 3.869 estrelas
8 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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #33238 · 23 de dez. de 2025 · Lean · 3.869 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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #33072 · 19 de dez. de 2025 · Lean · 3.869 estrelas
5 comentários0 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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #32658 · 9 de dez. de 2025 · Lean · 3.869 estrelas
3 comentários0 reação0 responsável Por que recomendamosTem label amigável para iniciantes · Repositório ativo este mês
Tem label amigável para iniciantesRepositório ativo este mêsGuia de contribuição disponível
leanprover-community / mathlib4 · #26771 · 5 de jul. de 2025 · Lean · 3.869 estrelas
7 comentários1 reação2 responsáveis 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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #25231 · 27 de mai. de 2025 · Lean · 3.869 estrelas
16 comentários0 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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #22219 · 23 de fev. de 2025 · Lean · 3.869 estrelas
3 comentários1 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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #21584 · 8 de fev. de 2025 · Lean · 3.869 estrelas
5 comentários2 reações0 responsável Por que recomendamosTem label amigável para iniciantes · Repositório ativo este mês
Tem label amigável para iniciantesRepositório ativo este mêsGuia de contribuição disponível
leanprover-community / mathlib4 · #17722 · 14 de out. de 2024 · Lean · 3.869 estrelas
2 comentários3 reações1 responsável Por que recomendamosTem label amigável para iniciantes · Repositório ativo este mês
Tem label amigável para iniciantesRepositório ativo este mêsGuia de contribuição disponível
leanprover-community / mathlib4 · #14427 · 4 de jul. de 2024 · Lean · 3.869 estrelas
11 comentários2 reações1 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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #13544 · 5 de jun. de 2024 · Lean · 3.869 estrelas
4 comentários0 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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #7987 · 27 de out. de 2023 · Lean · 3.869 estrelas
7 comentários7 reações0 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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #5939 · 16 de jul. de 2023 · Lean · 3.869 estrelas
4 comentários0 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êsGuia de contribuição disponível
leanprover-community / mathlib4 · #5617 · 30 de jun. de 2023 · Lean · 3.869 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 iniciantesRepositório ativo este mêsGuia de contribuição disponível
leanprover-community / mathlib4 · #5379 · 22 de jun. de 2023 · Lean · 3.869 estrelas
1 comentário0 reação0 responsável 