Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

AlphaPeu commune

the1lab/1lab

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

Propriétaire: the1lab (organisation)
Étoiles: Étoiles : 446
Forks: Forks : 96
Langage: Agda
Licence: AGPL-3.0
Création: 2021
Sujets: homotopy-type-theoryagda
Rang: Alpha (250 à 699 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts Agda

Tous les dépôts Agda

plfa/plfa.github.ioÉtoiles : 1 526AgdaBêta
agda/agda-stdlibÉtoiles : 680AgdaAlpha
agda/cubicalÉtoiles : 572AgdaAlpha
HoTT/HoTT-AgdaÉtoiles : 442AgdaAlpha
agda/agda-categoriesÉtoiles : 412AgdaAlpha
cedille/cedilleÉtoiles : 398AgdaAlpha