Skip to content
View yuanyi-350's full-sized avatar
0 followers · 13 following
  • Peking University
  • Beijing, China

Block or report yuanyi-350

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

Popular repositories Loading

  1. stacks_project_field_yy stacks_project_field_yy Public

    Forked from jjdishere/mathlib4_stacks_project_field_new

    feat(Field): add theorems in Stacks Project Chapter 09FA Fields

    Lean

  2. Filtered_Ring Filtered_Ring Public

    Forked from Blackfeather007/Filtered_Ring

    Repository for formalization of filtered ring

    Lean