海岸線は半透明 @derived_functor

PhD student in type theory Joined November 2021
  • Tweets
    470
  • Followers
    168
  • Following
    805
  • Likes
    15K