Learn Lean in Roblox
A Roblox environment for learning about Lean, the programming language and proof assistant. Explore the Burgs, or go wild in MeaningBurg.
Burgs
GVA-burg
Discover GVA with our partners
Data-burg
Your data, your tactics
A place to access your data, build tactics around that, protest and analyze your data.
Uber-burg
How Uber works
A place to understand how Uber works, from a data and mathematical standpoint.
Partners
-
VTC Justicevtcjustice.frWe thank VTCJustice for the collaboration on the Places app, enabling us to automate your chatty driver while you take your flying car around the different places of Meaning:Burg.
-
personaldata.iopersonaldata.ioMaking data rights individually actionable and collectively useful.
-
Digipower Academydigipower.academyCreating a new relationship to personal data.
Play
Download the place files from the latest release and open them in Roblox Studio. How to play.