Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits░PrototypeCommune
A list of awesome lean4 projects. Feel free to add your project.
- Propriétaire
- 34j (compte personnel)
- Étoiles
- ★ 149Étoiles : 149
- Forks
- ⌥ 13Forks : 13
- Langage
- Sans langage
- Licence
- CC-BY-SA-4.0
- Création
- 2023
- Sujets
- lean4awesomebest-oflean
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Voir sur GitHub