A Roblox place · Learning Lean
MeaningBurg
A Roblox place where you can learn about Lean, the programming language and proof assistant.
MeaningBurg is a Roblox place where you can learn about Lean. On Roblox, each world is literally called a place; MeaningBurg is one where visitors explore what it means to state something precisely and check it with Lean.
It brings the idea of a place to a new audience: a world people already know how to visit, used as a gateway to formal reasoning. MeaningBurg is developed with hestia.ai and published at meaningburg.hestia.ai.
Visit the website ↗