# digama0/lean-type-theory

<https://repo.masters-masters.com/en/repos/digama0/lean-type-theory>

[Home](https://repo.masters-masters.com/en) › [digama0](https://repo.masters-masters.com/en/owners/digama0) › [lean-type-theory](https://repo.masters-masters.com/en/repos/digama0/lean-type-theory)

digama0/lean-type-theory has 174 stars on GitHub. Its RepoMasters card: Prototype tier. LaTeX code for a paper on lean's type theory Language: TeX.

| Field | Value |
| --- | --- |
| Owner | [digama0](https://repo.masters-masters.com/en/owners/digama0) |
| Stars | 174 |
| Forks | 6 |
| Language | [TeX](https://repo.masters-masters.com/en/languages/tex) |
| License | None |
| Created | 2018 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [digama0/lean-type-theory](https://github.com/digama0/lean-type-theory) |

## Repository

LaTeX code for a paper on lean's type theory

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by digama0

- [digama0/mm0 · ★ 422 · Lean · Alpha](https://repo.masters-masters.com/en/repos/digama0/mm0)
- [digama0/lean4lean · ★ 270 · Lean · Alpha](https://repo.masters-masters.com/en/repos/digama0/lean4lean)

## Nearby in TeX

- [StanfordASL/AA203-Notes · ★ 174 · TeX · Prototype](https://repo.masters-masters.com/en/repos/StanfordASL/AA203-Notes)
- [dl4nlp-tuda/deep-learning-for-nlp-lectures · ★ 174 · TeX · Prototype](https://repo.masters-masters.com/en/repos/dl4nlp-tuda/deep-learning-for-nlp-lectures)
- [RepoStatSnaps/fullerene\_structure · ★ 174 · TeX · Prototype](https://repo.masters-masters.com/en/repos/RepoStatSnaps/fullerene_structure)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.