Hello world 👋

Competitive programmer / Untutored pure mathematics & theoretical computer science learner / Exploring the future of proving and programming in Lean4

• Some competitive programming achievements

  • NOI¹ 2019 Joint Provincial Team Selection The 2nd Place (in all 12 provinces)

  • NOI¹ 2019 The 63rd Place

  • The 2020 ICPC Asia Shanghai Regional Contest The 13th Place

  • The 2020 ICPC Asia Jinan Regional Contest The 10th Place

  • The 2020 ICPC Asia-East Continent Final Contest The 14th Place

  • The 2022 ICPC Asia Nanjing Regional Contest The 5th Place (Solo)

Footnotes

1. National Olympiad in Informatics (China) ↩ ↩²