Une place Roblox · Apprendre Lean
MeaningBurg
Une place Roblox où l'on peut découvrir Lean, le langage de programmation et assistant de preuve.
MeaningBurg est une place Roblox où l'on peut découvrir Lean. Sur Roblox, chaque monde s'appelle littéralement une place ; MeaningBurg en est une où les visiteurs explorent ce que signifie énoncer quelque chose avec précision et le vérifier avec Lean.
Elle porte l'idée de territoire vers un nouveau public : un monde que l'on sait déjà visiter, utilisé comme porte d'entrée vers le raisonnement formel. MeaningBurg est développée avec hestia.ai et publiée à l'adresse meaningburg.hestia.ai.
Visiter le site ↗