Snacks
Public
explorables more substantial than morsels, yet less filling than meals
Filter
None
Sort
Last updated
Filter
None
Sort
Published
Observable
62
7
Sign up
DLA + CA rules!
Fork
Bryan Gin-ge Chen
May 2, 2020
6
Labeling connected components
Bryan Gin-ge Chen
May 2, 2020
17
Tiling an octagon with half-squares and A-size rectangles
Fork
Bryan Gin-ge Chen
Feb 1, 2019
7
Stepping through currying in Lean
Bryan Gin-ge Chen
Dec 14, 2019
4
