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

PrototypeCommon

type-theory/type-theory-study-group

Resources for the online Type Theory Study Group

Owner: type-theory (organization)
Stars: Stars: 164
Forks: Forks: 18
Language: No language
License: None
Created: 2015
Tier: Prototype (100 to 249 ★) What this tier means