Une place Roblox · Apprendre Lean
MeaningBurg
Une place Roblox où l'on peut découvrir Lean, le langage de programmation et assistant de preuve.
Visiter le site ↗Découvrir →DATA:FOUNDATION / Projets
Projets
Des territoires d'un autre genre : des mondes et des bibliothèques où l'on apprend et construit ensemble.
Une place Lean · Matrices aléatoires
RMTLib
Une place Lean pour les résultats de la théorie des matrices aléatoires.
Découvrir →