# metamath/set.mm

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

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

metamath/set.mm has 338 stars on GitHub. Its RepoMasters card: Alpha tier. Metamath source file for logic and set theory Language: HTML.

| Field | Value |
| --- | --- |
| Owner | [metamath](https://repo.masters-masters.com/en/owners/metamath) |
| Stars | 338 |
| Forks | 113 |
| Language | [HTML](https://repo.masters-masters.com/en/languages/html) |
| License | None |
| Created | 2015 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [metamath/set.mm](https://github.com/metamath/set.mm) |

## Repository

Metamath source file for logic and set theory

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by metamath

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

## Nearby in HTML

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

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