A Roblox place · Learning Lean
MeaningBurg
A Roblox place where you can learn about Lean, the programming language and proof assistant.
Visit the website ↗Explore →
DATA:FOUNDATION / Projects
Places of other kinds: worlds and libraries where people learn and build together.
A Roblox place · Learning Lean
A Roblox place where you can learn about Lean, the programming language and proof assistant.
Visit the website ↗Explore →A Lean place · Random Matrix Theory
A Lean place for Random Matrix Theory results.
Explore →