PhD student at Yonsei University, studying Extremal combinatorics
-
Yonsei University
- Seoul, Korea
- https://jaehyeonseo.com
Highlights
- Pro
Pinned Loading
-
-
multivar-indep-formalize
multivar-indep-formalize PublicFormalize a theorem on the multivariate semiproper coloring polynomial: see Theorem 1.4 in https://arxiv.org/abs/2602.02450
Lean
-
Brunn-Minkowski-in-Lean/BrunnMinkowski
Brunn-Minkowski-in-Lean/BrunnMinkowski Public archive -
combinatorics-kr/kscw
combinatorics-kr/kscw PublicKorean Student Combinatorics Workshop (조합론 학생 워크샵)
HTML
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.