Bryan Gin-ge Chen/...
Public

Snacks

explorables more substantial than morsels, yet less filling than meals
Showing all 4 listings
thumbnail
Stepping through currying in Lean
The avatar for @bryangingechen
Bryan Gin-ge Chen
Jul 28, 2019•4
thumbnail
Tiling an octagon with half-squares and A-size rectangles
The avatar for @bryangingechen
Bryan Gin-ge Chen
Feb 1, 2019•7
thumbnail
Labeling connected components
The avatar for @bryangingechen
Bryan Gin-ge Chen
Jan 26, 2019•16
thumbnail
DLA + CA rules! This notebook is a fork
The avatar for @bryangingechen
Bryan Gin-ge Chen
Feb 10, 2019•6