- Winston Yin | 尹維晨
- PhD student in theoretical cosmology at UC Berkeley
- Member of the Sense & Sensibility & Science course development team, developer of educational data science modules
- Wikipedia editor (en/zh) and bot maintainer
- A part of the Lean/mathlib community
Pinned Loading
-
-
-
leanprover-community/mathlib4
leanprover-community/mathlib4 PublicThe math library of Lean 4
-
sensesensibilityscience/datascience
sensesensibilityscience/datascience PublicData science modules
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.