Skip to content
View negiizhao's full-sized avatar
72 followers · 64 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@bicmr-ai4math
Block or Report

Block or report negiizhao

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
negiizhao/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

  1. Algorithm Algorithm Public

    Verified efficient algorithms in Lean4.

    Lean 11

  2. transcendental transcendental Public

    Lindemann–Weierstrass Theorem

    Lean 10

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

    Lean 2

  4. negiizhao negiizhao Public

    2

  5. resultant resultant Public

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

    Lean 1

  6. std4 std4 Public

    Forked from leanprover-community/batteries

    Standard Library for Lean 4

    Lean