きゆもーど（-18)
@curelemonade2
Type Theoryと定理証明とジトジト。
ID: 1014739327434219521
05-07-2018 05:14:43
25,25K Tweet
758 Followers
835 Following
@curelemonade2
Type Theoryと定理証明とジトジト。
ID: 1014739327434219521
05-07-2018 05:14:43
25,25K Tweet
758 Followers
835 Following