Writing · shipped May 2026

A research repo — v1

by @wei-chen

A real thing I made while learning synthesis.

See it live ↗

More from @wei-chen · Build your own proof on Giinius