Tema · rocq-library

rocq-library

Repositorios de código abierto monitorizados etiquetados con rocq-library, ordenados por estrellas.

Repositorios

Estrellas totales

1715

Estrellas de media

858

Proporción

0,00%

Temas que aparecen con frecuencia junto a rocq-library en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con rocq-library.

No hay repositorios nuevos con este tema en los últimos 90 días.

#1
UniMath ↗@UniMathRocq Prover
Esta biblioteca rocq tiene como objetivo formalizar un cuerpo sustancial de matemáticas utilizando el punto de vista univalente.
★ 1019+2Variación de estrellas de los últimos 7 días
#2
math-comp ↗@math-compRocq Prover
Componentes matemáticos.
★ 696+1Variación de estrellas de los últimos 7 días