# UniMath/TypeTheory

<https://repo.masters-masters.com/en/repos/UniMath/TypeTheory>

[Home](https://repo.masters-masters.com/en) › [UniMath](https://repo.masters-masters.com/en/owners/UniMath) › [TypeTheory](https://repo.masters-masters.com/en/repos/UniMath/TypeTheory)

UniMath/TypeTheory has 122 stars on GitHub. Its RepoMasters card: Prototype tier. The mathematical study of type theories, in univalent foundations

| Field | Value |
| --- | --- |
| Owner | [UniMath](https://repo.masters-masters.com/en/owners/UniMath) |
| Stars | 122 |
| Forks | 25 |
| Language | [Rocq Prover](https://repo.masters-masters.com/en/languages/rocq-prover) |
| License | None |
| Created | 2016 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [UniMath/TypeTheory](https://github.com/UniMath/TypeTheory) |

## Repository

The mathematical study of type theories, in univalent foundations

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

## More repos by UniMath

- [UniMath/UniMath · ★ 1,022 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/UniMath/UniMath)
- [UniMath/SymmetryBook · ★ 453 · HTML · Alpha](https://repo.masters-masters.com/en/repos/UniMath/SymmetryBook)
- [UniMath/agda-unimath · ★ 318 · Agda · Alpha](https://repo.masters-masters.com/en/repos/UniMath/agda-unimath)
- [UniMath/Foundations · ★ 247 · Coq · Prototype](https://repo.masters-masters.com/en/repos/UniMath/Foundations)

## Nearby in Rocq Prover

- [fraunhoferfokus/acsl-by-example · ★ 128 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/fraunhoferfokus/acsl-by-example)
- [WasmCert/WasmCert-Coq · ★ 128 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/WasmCert/WasmCert-Coq)
- [mit-plv/riscv-coq · ★ 122 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/mit-plv/riscv-coq)
- [rocq-community/corn · ★ 117 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/rocq-community/corn)
- [SkyLabsAI/BRiCk · ★ 110 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/SkyLabsAI/BRiCk)
- [inQWIRE/SQIR · ★ 107 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/inQWIRE/SQIR)

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