Code QR
Avatar de Julian

Julian

New York, NY

I'm a freelance Python developer and a hobbyist lover of math and the Lean theorem prover.