海岸線は半透明 @derived_functor

PhD student in type theory Joined November 2021
  • Tweets
    459
  • Followers
    165
  • Following
    792
  • Likes
    14K