Department of Electrical and Computer Engineering@SNU
-
Seoul National University
- Seoul, Republic of Korea
Block or Report
Block or report LimitEpsilon
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
SoonWon Moon
damhiya
An undergraduate student majoring in Computer Engineering and Mathematics at Inha University. Interested in PL.
Seoul, Republic of Korea
Jang Yeong Woo
riagus99
Electrical & Computer Engineering Graduate Student
Seoul National University Seoul, Korea
Jaemin Hong
Medowhill
Ph.D. Student, School of Computing, KAIST
@kaist-plrg Daejeon, Republic of Korea
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.