# HoTT/EPIT-2020

<https://repo.masters-masters.com/repos/HoTT/EPIT-2020>

[Accueil](https://repo.masters-masters.com/) › [HoTT](https://repo.masters-masters.com/owners/HoTT) › [EPIT-2020](https://repo.masters-masters.com/repos/HoTT/EPIT-2020)

HoTT/EPIT-2020, dépôt open source à 110 étoiles sur GitHub. Carte Prototype de RepoMasters. EPIT 2020 - Spring School on Homotopy Type Theory Langage : TeX.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [HoTT](https://repo.masters-masters.com/owners/HoTT) |
| Étoiles | 110 |
| Forks | 12 |
| Langage | [TeX](https://repo.masters-masters.com/languages/tex) |
| Licence | MIT |
| Création | 2021 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [HoTT/EPIT-2020](https://github.com/HoTT/EPIT-2020) |

## Fiche du dépôt

EPIT 2020 - Spring School on Homotopy Type Theory

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 HoTT

- [HoTT/book · ★ 2 175 · TeX · RC](https://repo.masters-masters.com/repos/HoTT/book)
- [HoTT/Coq-HoTT · ★ 1 407 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/HoTT/Coq-HoTT)
- [HoTT/HoTT-Agda · ★ 442 · Agda · Alpha](https://repo.masters-masters.com/repos/HoTT/HoTT-Agda)

## D’autres dépôts TeX

- [indocomsoft/nus-cheatsheets · ★ 110 · TeX · Prototype](https://repo.masters-masters.com/repos/indocomsoft/nus-cheatsheets)
- [leduyquang753/uet-graduation-latex · ★ 110 · TeX · Prototype](https://repo.masters-masters.com/repos/leduyquang753/uet-graduation-latex)
- [Toyhom/awesome-computational-character-modeling · ★ 110 · TeX · Prototype](https://repo.masters-masters.com/repos/Toyhom/awesome-computational-character-modeling)
- [ledovsky/latex-gost-template · ★ 110 · TeX · Prototype](https://repo.masters-masters.com/repos/ledovsky/latex-gost-template)
- [lh3/fermikit · ★ 110 · TeX · Prototype](https://repo.masters-masters.com/repos/lh3/fermikit)
- [quantum-journal/quantum-journal · ★ 110 · TeX · Prototype](https://repo.masters-masters.com/repos/quantum-journal/quantum-journal)

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