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