# Dépôts de b-mehta [Accueil](https://repo.masters-masters.com/) › [b-mehta](https://repo.masters-masters.com/owners/b-mehta) Le dépôt GitHub public de b-mehta en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de b-mehta 1 dépôt public de b-mehta au catalogue pour l’instant. - [b-mehta/formalising-mathematics-notes · ★ 141 · Lean · Prototype](https://repo.masters-masters.com/repos/b-mehta/formalising-mathematics-notes) ## Voir b-mehta sur GitHub - [https://github.com/b-mehta](https://github.com/b-mehta) --- Données : GitHub