Tiling an octagon with half-squares and A-size rectangles / Bryan Gin-ge Chen | Observable

Bryan Gin-ge Chen

here to learn

Published

Edited

7 stars

Stepping through currying in Lean

Tiling an octagon with half-squares and A-size rectangles

Labeling connected components DLA + CA rules!