Repositórios de código aberto acompanhados de UniMath, ordenados por estrelas.
Esta biblioteca rocq visa formalizar um corpo substancial de matemática usando o ponto de vista univalente.
