# digama0/mm0

<https://repo.masters-masters.com/en/repos/digama0/mm0>

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

digama0/mm0 has 422 stars on GitHub. Its RepoMasters card: Alpha tier. Metamath Zero specification language Language: Lean.

| Field | Value |
| --- | --- |
| Owner | [digama0](https://repo.masters-masters.com/en/owners/digama0) |
| Stars | 422 |
| Forks | 59 |
| Language | [Lean](https://repo.masters-masters.com/en/languages/lean) |
| License | CC0-1.0 |
| Created | 2019 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [digama0/mm0](https://github.com/digama0/mm0) |

## Repository

Metamath Zero specification language

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

## More repos by digama0

- [digama0/lean4lean · ★ 270 · Lean · Alpha](https://repo.masters-masters.com/en/repos/digama0/lean4lean)
- [digama0/lean-type-theory · ★ 174 · TeX · Prototype](https://repo.masters-masters.com/en/repos/digama0/lean-type-theory)

## Nearby in Lean

- [ByteDance-Seed/Seed-Prover · ★ 442 · Lean · Alpha](https://repo.masters-masters.com/en/repos/ByteDance-Seed/Seed-Prover)
- [leanprover-community/batteries · ★ 428 · Lean · Alpha](https://repo.masters-masters.com/en/repos/leanprover-community/batteries)
- [PatrickMassot/GlimpseOfLean · ★ 428 · Lean · Alpha](https://repo.masters-masters.com/en/repos/PatrickMassot/GlimpseOfLean)
- [leanprover-community/aesop · ★ 413 · Lean · Alpha](https://repo.masters-masters.com/en/repos/leanprover-community/aesop)
- [leanprover/verso · ★ 405 · Lean · Alpha](https://repo.masters-masters.com/en/repos/leanprover/verso)
- [dselsam/certigrad · ★ 404 · Lean · Alpha](https://repo.masters-masters.com/en/repos/dselsam/certigrad)

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