# GitHub repos by blanchette [Home](https://repo.masters-masters.com/en) › [blanchette](https://repo.masters-masters.com/en/owners/blanchette) The public GitHub repo by blanchette in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by blanchette 1 public repo by blanchette in the catalog, most starred first. - [blanchette/logical\_verification\_2023 · ★ 122 · Lean · Prototype](https://repo.masters-masters.com/en/repos/blanchette/logical_verification_2023) ## See blanchette on GitHub - [https://github.com/blanchette](https://github.com/blanchette) --- Data: GitHub