# Dépôts de uds-psl [Accueil](https://repo.masters-masters.com/) › [uds-psl](https://repo.masters-masters.com/owners/uds-psl) Les 2 dépôts GitHub publics de uds-psl, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de uds-psl 2 dépôts publics de uds-psl au catalogue, du plus étoilé au moins étoilé. - [uds-psl/coq-library-undecidability · ★ 145 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/uds-psl/coq-library-undecidability) - [uds-psl/MPCTT · ★ 129 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/uds-psl/MPCTT) ## Voir uds-psl sur GitHub - [https://github.com/uds-psl](https://github.com/uds-psl) --- Données : GitHub