Sign in

Zaz Brown

@zazbrown.com
6 followers 1 following 2 posts

I prove things using AI, Lean, and Coln.

PostsRepliesMedia
Zaz Brown @zazbrown.com · 25/09/2026
zazbrown.com/r/relative-w...
Three colored planks cover a shape that looks a bit like a triangle. They have relative widths 39%, 37% and 40%.
000