# jozefg/learn-tt

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/jozefg-learn-tt).**

_How this analysis was created: the description and tags below were written by an AI model that read this project's README and public documentation pages; stars, license and language come straight from the GitHub API. The model does not read the source code._

2,472 stars · 137 forks

## Links

- GitHub: https://github.com/jozefg/learn-tt
- awesome-repositories: https://awesome-repositories.com/repository/jozefg-learn-tt.md

## Description

A collection of resources for learning type theory and type theory adjacent fields.

## Tags

### Repository Format

- [Awesome List](https://awesome-repositories.com/f/repository-format/awesome-list.md) — A community-curated directory that catalogs and links out to other open-source projects, rather than a standalone tool you run yourself.

### Part of an Awesome List

- [Curated Resource Lists](https://awesome-repositories.com/f/awesome-lists/learning/curated-resource-lists.md) — Resources for learning type theory, logic, and proof assistants.
- [Educational Resources](https://awesome-repositories.com/f/awesome-lists/learning/educational-resources.md) — Resources for learning type theory.