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

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

지금 가입
컬렉션에 추가
duve
@jevonduve
logics and categories. like to play with dependent types. 24. vegan. penn. doing formal methods @logic_int
452 팔로잉 중    616 팬