QR 코드
Julian의 아바타

Julian

New York, NY

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