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

Bryan Gin-ge Chen

here to learn

Workspace

Published

Snacks

Edited

7 stars

Snacks

Stepping through currying in Lean

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

Labeling connected components DLA + CA rules!

Purpose-built for displays of data

Observable is your go-to platform for exploring data and creating expressive data visualizations. Use reactive JavaScript notebooks for prototyping and a collaborative canvas for visual data exploration and dashboard creation.

Learn more