Tópico · coq-library
coq-library
Repositórios de código aberto acompanhados marcados com coq-library, ordenados por estrelas.
Repositórios
3
Total de estrelas
2.152
Média de estrelas
717
Participação
0,00%
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de coq-library no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com coq-library.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
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 - #2★ 625+0Variação de estrelas nos últimos 7 dias
- #3★ 508+1Variação de estrelas nos últimos 7 dias
