Kode QR
avatar Julian

Julian

New York, NY

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