Shuo Pang
Postdoc
ORCID: 0000-0001-5652-9737
I am a postdoc researching in proof complexity and surroundings. You can also reach me at https://shuopang.net
ID: 323907110
Postdoc
I am a postdoc researching in proof complexity and surroundings. You can also reach me at https://shuopang.net
ID: 323907110