Explore Log in Sign up

Zaz Brown

@zazbrown.com

1 Following 6 Followers

I prove things using AI, Lean, and Coln.

Posts Replies Media

@zazbrown.com Sep 27, 2026, 5:51 PM

zazbrown.com/research/pap... #Math #AI4Math #LeanProver

@zazbrown.com Sep 25, 2026, 6:38 PM

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%.

Terms of Use Privacy Policy Community Standards Help Get the app

Grilled Cheese is a product of Village Compute

Version devBuilt at: 2026-10-12 04:31:30 EDT