Issues de leanprover-community/mathlib3

Stars: (1.667 estrelas)
Forks: (290 forks)
Issues indexadas: (0 issue indexada)
issues iniciantes abertas: (0 issue iniciante aberta)
Última indexação: 16 de ago. de 2026
Último push no GitHub: 30 de out. de 2023
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: Nenhuma label para iniciantes indexada

Issues

0 issue indexada fechada

Nenhum issues indexado fechado encontrado para este repositório.