Developing
Developing
A note tagged Developing is an idea I'm actively exploring. These notes are usually rough sketches of a direction, a handful of examples, or a proof outline rather than a finished argument. Content here is expected to change, sometimes substantially.