Product
Learn
Community
Pricing
Search
Sign in
Sign up
Bryan Gin-ge Chen
here to learn
Fork
Published
2 collections
By
Bryan Gin-ge Chen
Edited
Importers
16 Likes
Snacks
Stepping through currying in Lean
Tiling an octagon with half-squares and A-size rectangles
Labeling connected components
DLA + CA rules!
Also listed in…
Ingredients
More from Observable creators