Skip to content
View FR-vdash-bot's full-sized avatar

Organizations

@bicmr-ai4math

Block or report FR-vdash-bot

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
FR-vdash-bot/README.md

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

Popular repositories Loading

  1. Algorithm Algorithm Public

    Verified efficient algorithms in Lean4.

    Lean 19

  2. transcendental transcendental Public

    Lindemann–Weierstrass Theorem

    Lean 11

  3. some-theory-on-words some-theory-on-words Public

    Lean 2

  4. resultant resultant Public

    Two weeks ago I wrote about some basic resultant theory (maybe in a bad way...) Just upload it.

    Lean 2

  5. FR-vdash-bot FR-vdash-bot Public

    2

  6. std4 std4 Public

    Forked from leanprover-community/batteries

    Standard Library for Lean 4

    Lean 1