QR-Code
Avatar von Julian

Julian

New York, NY

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