Robly18

519
reputation

UChicago Grad Student, currently doing Computable Structure Theory.