# Dépôts de Deducteam [Accueil](https://repo.masters-masters.com/) › [Deducteam](https://repo.masters-masters.com/owners/Deducteam) Les 2 dépôts GitHub publics de Deducteam, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de Deducteam 2 dépôts publics de Deducteam au catalogue, du plus étoilé au moins étoilé. - [Deducteam/lambdapi · ★ 409 · OCaml · Alpha](https://repo.masters-masters.com/repos/Deducteam/lambdapi) - [Deducteam/Dedukti · ★ 241 · OCaml · Prototype](https://repo.masters-masters.com/repos/Deducteam/Dedukti) ## Voir Deducteam sur GitHub - [https://github.com/Deducteam](https://github.com/Deducteam) --- Données : GitHub