Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yingjun Lan
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Registered user since Wed 11 Jun 2025
Name:
Yingjun Lan
Contributions
2025
SPLASH
Author of Formal Verification of Graham's Scan Algorithm within the Student Research Competition-track
Share
x
Sun 26 Oct 20:39