# Dépôts de lean-forward [Accueil](https://repo.masters-masters.com/) › [lean-forward](https://repo.masters-masters.com/owners/lean-forward) Le dépôt GitHub public de lean-forward en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de lean-forward 1 dépôt public de lean-forward au catalogue pour l’instant. - [lean-forward/logical\_verification\_2025 · ★ 172 · Lean · Prototype](https://repo.masters-masters.com/repos/lean-forward/logical_verification_2025) ## Voir lean-forward sur GitHub - [https://github.com/lean-forward](https://github.com/lean-forward) --- Données : GitHub