Visual Lean：借助直观用户界面学习编写Lean代码

Natural Numbers Game，最初由Kevin Buzzard和Mohammad Pedramfar为Lean 3设计，后由Jon Eugster协助移植至Lean 4。Alexander Bentkamp协助游戏引擎开发，Sian Carey、Ivan Farabella和Archie Browne共同增加了额外关卡。