GitHub repository: type-theory/type-theory-study-group
Description: Resources for the online Type Theory Study Group