Pular para o conteúdo principal
buildradar
Sign in
Tópico · univalent-foundations

univalent-foundations

Repositórios de código aberto acompanhados marcados com univalent-foundations, ordenados por estrelas.

Repositórios
1
Total de estrelas
1.405
Média de estrelas
1.405
Participação
0,00%

Tópicos que aparecem com frequência ao lado de univalent-foundations no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com univalent-foundations.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

  • Coq-HoTT@HoTT

    Uma biblioteca Coq para Teoria dos Tipos Homotópicos

    1.405+1Variação de estrelas nos últimos 7 dias
← Voltar para os tópicos