Pular para o conteúdo principal
buildradar
Sign in
Tópico · rocq-library

rocq-library

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

Repositórios
2
Total de estrelas
1.715
Média de estrelas
858
Participação
0,00%

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

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com rocq-library.

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

  • UniMath@UniMath

    Esta biblioteca rocq visa formalizar um corpo substancial de matemática usando o ponto de vista univalente.

    1.019+2Variação de estrelas nos últimos 7 dias
  • math-comp@math-comp

    Componentes Matemáticos

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