Issue del repository

srid/cubical-1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Vedi su GitHub
Star
 (0 stelle)
Fork
 (0 fork)
Issue indicizzate
 (0 issue indicizzate)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
19 ago 2026
Ultimo push GitHub
26 gen 2022
Licenza
GNU Affero General Public License v3.0
Guida contributori
Nessuna guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
Agda
Metriche merge PR
 (Nessuna PR mergiata in 30 g)
Label per principianti
Nessuna label per principianti indicizzata

Issue

0 issue indicizzate chiuse

Nessuna issue indicizzata chiusa trovata per questo repository.