Saltar al contenido principal
buildradar
Sign in
Tema · univalent-foundations

univalent-foundations

Repositorios de código abierto monitorizados etiquetados con univalent-foundations, ordenados por estrellas.

Repositorios
1
Estrellas totales
1405
Estrellas de media
1405
Proporción
0,00%

Temas que aparecen con frecuencia junto a univalent-foundations en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con univalent-foundations.

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

  • Coq-HoTT@HoTT

    Una biblioteca de Coq para la Teoría de Tipos de Homotopía

    1405+2Variación de estrellas de los últimos 7 días
← Volver a temas