# UniMath/TypeTheory

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

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

UniMath/TypeTheory, dépôt open source à 122 étoiles sur GitHub. Carte Prototype de RepoMasters. The mathematical study of type theories, in univalent…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [UniMath](https://repo.masters-masters.com/owners/UniMath) |
| Étoiles | 122 |
| Forks | 25 |
| Langage | [Rocq Prover](https://repo.masters-masters.com/languages/rocq-prover) |
| Licence | Aucune |
| Création | 2016 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [UniMath/TypeTheory](https://github.com/UniMath/TypeTheory) |

## Fiche du dépôt

The mathematical study of type theories, in univalent foundations

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de UniMath

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

## D’autres dépôts Rocq Prover

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.