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