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