# GitHub repos by HOL-Theorem-Prover [Home](https://repo.masters-masters.com/en) › [HOL-Theorem-Prover](https://repo.masters-masters.com/en/owners/HOL-Theorem-Prover) The public GitHub repo by HOL-Theorem-Prover in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by HOL-Theorem-Prover 1 public repo by HOL-Theorem-Prover in the catalog, most starred first. - [HOL-Theorem-Prover/HOL · ★ 769 · Standard ML · Beta](https://repo.masters-masters.com/en/repos/HOL-Theorem-Prover/HOL) ## See HOL-Theorem-Prover on GitHub - [https://github.com/HOL-Theorem-Prover](https://github.com/HOL-Theorem-Prover) --- Data: GitHub