GitHub repository: type-theory/learn-tt
Description: A collection of resources for learning type theory.