# metamath/set.mm

<https://repo.masters-masters.com/repos/metamath/set.mm>

[Accueil](https://repo.masters-masters.com/) › [metamath](https://repo.masters-masters.com/owners/metamath) › [set.mm](https://repo.masters-masters.com/repos/metamath/set.mm)

metamath/set.mm, dépôt open source à 338 étoiles sur GitHub. Carte Alpha de RepoMasters. Metamath source file for logic and set theory Langage : HTML.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [metamath](https://repo.masters-masters.com/owners/metamath) |
| Étoiles | 338 |
| Forks | 113 |
| Langage | [HTML](https://repo.masters-masters.com/languages/html) |
| Licence | Aucune |
| Création | 2015 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [metamath/set.mm](https://github.com/metamath/set.mm) |

## Fiche du dépôt

Metamath source file for logic and set theory

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de metamath

- [metamath/metamath-exe · ★ 112 · C · Prototype](https://repo.masters-masters.com/repos/metamath/metamath-exe)

## D’autres dépôts HTML

- [zjedi/hugo-scroll · ★ 338 · HTML · Alpha](https://repo.masters-masters.com/repos/zjedi/hugo-scroll)
- [wgpsec/VulnRange · ★ 338 · HTML · Alpha](https://repo.masters-masters.com/repos/wgpsec/VulnRange)
- [adamfowlerit/msportals.io · ★ 338 · HTML · Alpha](https://repo.masters-masters.com/repos/adamfowlerit/msportals.io)
- [davesantos/tumblr-boilerplate · ★ 338 · HTML · Alpha](https://repo.masters-masters.com/repos/davesantos/tumblr-boilerplate)
- [nasa/T-MATS · ★ 338 · HTML · Alpha](https://repo.masters-masters.com/repos/nasa/T-MATS)
- [huggingface/100-times-faster-nlp · ★ 338 · HTML · Alpha](https://repo.masters-masters.com/repos/huggingface/100-times-faster-nlp)

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