# GitHub repos by b-mehta

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

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

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

## GitHub repos by b-mehta

1 public repo by b-mehta in the catalog, most starred first.

- [b-mehta/formalising-mathematics-notes · ★ 142 · Lean · Prototype](https://repo.masters-masters.com/en/repos/b-mehta/formalising-mathematics-notes)

## See b-mehta on GitHub

- [https://github.com/b-mehta](https://github.com/b-mehta)

---
Data: GitHub