Issues de leanprover-community/mathlib4

Stars: (3.869 estrelas)
Forks: (1.592 forks)
Issues indexadas: (17 issues indexadas)
issues iniciantes abertas: (17 issues iniciantes abertas)
Última indexação: 10 de ago. de 2026
Último push no GitHub: 16 de ago. de 2026
Licença: Apache License 2.0
Guia de contribuição: Guia de contribuição
Código de conduta: Código de conduta
Linguagem principal: Lean
Métricas de merge de PR: (Nenhuma PRs mesclada em 30d)
Labels para iniciantes: good first issuehelp wanted

Issues

0 issue indexada fechada

Nenhum issues indexado fechado encontrado para este repositório.