Issues de yogthos/mathlib4

Stars: (1 estrela)
Forks: (0 fork)
Issues indexadas: (0 issue indexada)
issues iniciantes abertas: (0 issue iniciante aberta)
Última indexação: 6 de ago. de 2026
Último push no GitHub: 5 de mai. 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: (Métricas PR pendentes)
Labels para iniciantes: Nenhuma label para iniciantes indexada

Issues

0 issue indexada aberta

Nenhum issues indexado aberto encontrado para este repositório.