Tema · coq-library
coq-library
Repositorios de código abierto monitorizados etiquetados con coq-library, ordenados por estrellas.
Repositorios
3
Estrellas totales
2152
Estrellas de media
717
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a coq-library en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con coq-library.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
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
Un framework para la verificación formal de implementaciones de sistemas distribuidos en Coq
★ 625+0Variación de estrellas de los últimos 7 días - #3★ 508+1Variación de estrellas de los últimos 7 días
