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