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

PrototypeCommune

type-theory/type-theory-study-group

Resources for the online Type Theory Study Group

Propriétaire: type-theory (organisation)
Étoiles: Étoiles : 164
Forks: Forks : 18
Langage: Sans langage
Licence: Aucune
Création: 2015
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub