Tópico · cartesian-closed-category
cartesian-closed-category
Repositórios de código aberto acompanhados marcados com cartesian-closed-category, ordenados por estrelas.
Repositórios
1
Total de estrelas
807
Média de estrelas
807
Participação
0,00%
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de cartesian-closed-category no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com cartesian-closed-category.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
Uma formalização da teoria das categorias sem axiomas em Coq para estudo pessoal e trabalho prático
★ 807+1Variação de estrelas nos últimos 7 dias
