# GitHub repos by yuma-mizuno

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

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

The public GitHub repo by yuma-mizuno in RepoMasters, the trading card game of open source: stars, language, tier and card.

## GitHub repos by yuma-mizuno

1 public repo by yuma-mizuno in the catalog, most starred first.

- [yuma-mizuno/lean-math-workshop · ★ 105 · Lean · Prototype](https://repo.masters-masters.com/en/repos/yuma-mizuno/lean-math-workshop)

## See yuma-mizuno on GitHub

- [https://github.com/yuma-mizuno](https://github.com/yuma-mizuno)

---
Data: GitHub