# GitHub repos by James-Hanson [Home](https://repo.masters-masters.com/en) › [James-Hanson](https://repo.masters-masters.com/en/owners/James-Hanson) The public GitHub repo by James-Hanson in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by James-Hanson 1 public repo by James-Hanson in the catalog, most starred first. - [James-Hanson/junk-theorems-in-lean · ★ 114 · Lean · Prototype](https://repo.masters-masters.com/en/repos/James-Hanson/junk-theorems-in-lean) ## See James-Hanson on GitHub - [https://github.com/James-Hanson](https://github.com/James-Hanson) --- Data: GitHub