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

PrototypeCommune

CMU-HoTT/scott

Selected Papers of Dana S. Scott

Propriétaire: CMU-HoTT (organisation)
Étoiles: Étoiles : 179
Forks: Forks : 6
Langage: Sans langage
Licence: Aucune
Création: 2022
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub