Issues do repositório

leanprover-community/mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

Ver no GitHub
Stars
 (1.667 stars)
Forks
 (290 forks)
Issues indexadas
 (0 indexado issues)
issues iniciantes abertas
 (0 issues iniciantes abertas)
Última indexação
Ainda não indexado
Último push no GitHub
30 de out. de 2023
Licença
Nenhum dado de licença
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)
Labels para iniciantes
Nenhuma label para iniciantes indexada

Issues

0 aberto indexado issues

RSSAtom

Nenhum issues indexado aberto encontrado para este repositório.