bridgekat Goto Github PK
Name: Zhanrong Qiao
Type: User
Company: @ImperialCollegeLondon
Bio: π I am an undergraduate student, interested in creating profitable business (hopefully...) or semi-automated theorem provers (in far future, maybe...)