# AI Context for Julian

## Profile
- Name: Julian
- Location: New York, NY
- About me: I'm a freelance Python developer and a hobbyist lover of math and the Lean theorem prover.

## Online Presence
\[Gravatar Profile\]: [gravatar.com/julianwastaken](https://gravatar.com/julianwastaken)