TwiScan 인기 커뮤니티 계정 컬렉션
로그인 회원가입

가입 후 초대 링크를 공유하면 동영상 재생 및 초대 보상을 받을 수 있습니다.

지금 가입
컬렉션에 추가
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
993 팔로잉 중    8.2K 팬