# GitHub repos by metamath

<https://repo.masters-masters.com/en/owners/metamath>

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

All 2 public GitHub repos by metamath in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by metamath

2 public repos by metamath in the catalog, most starred first.

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

## See metamath on GitHub

- [https://github.com/metamath](https://github.com/metamath)

---
Data: GitHub