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