Skip to content

FR-vdash-bot/FR-vdash-bot

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 

Repository files navigation

Hello world 👋

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

  • Some competitive programming achievements

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

    • NOI1 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) 2

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published