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