bluesky — Timothy Gowers — 16 Oct 2026
Many people just starting out on Lean formalization have enjoyed playing the Natural Numbers Game. Now Autumn Mapes has…
#proof-assistants #formal-verification #mathematical-education
Many people just starting out on Lean formalization have enjoyed playing the Natural Numbers Game. Now Autumn Mapes has produced Visual Lean, isomorphic to the original but playable in a lovely intuitive way with clicking and dragging rather than typing.
leangame.autumnofautumn.com