Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

CMU-HoTT/scott

Selected Papers of Dana S. Scott

Owner: CMU-HoTT (organization)
Stars: Stars: 179
Forks: Forks: 6
Language: No language
License: None
Created: 2022
Tier: Prototype (100 to 249 ★) What this tier means