# Dépôts de HOL-Theorem-Prover [Accueil](https://repo.masters-masters.com/) › [HOL-Theorem-Prover](https://repo.masters-masters.com/owners/HOL-Theorem-Prover) Le dépôt GitHub public de HOL-Theorem-Prover en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de HOL-Theorem-Prover 1 dépôt public de HOL-Theorem-Prover au catalogue pour l’instant. - [HOL-Theorem-Prover/HOL · ★ 768 · Standard ML · Bêta](https://repo.masters-masters.com/repos/HOL-Theorem-Prover/HOL) ## Voir HOL-Theorem-Prover sur GitHub - [https://github.com/HOL-Theorem-Prover](https://github.com/HOL-Theorem-Prover) --- Données : GitHub