Tópico · unimath

unimath

Repositórios de código aberto acompanhados marcados com unimath, ordenados por estrelas.

Repositórios

1

Total de estrelas

1.019

Média de estrelas

1.019

Participação

0,00%

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

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com unimath.

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

#1
UniMath ↗@UniMathRocq Prover
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

← Voltar para os tópicos