Logo

Index @HyleIndex

前OIer,虚假摄影壬,目前对formal verification,type theory和神奇的范畴论感兴趣,BSc @polytechnique,PhD Candidate @Yale New Haven, CT Joined November 2021
  • Tweets
    1K
  • Followers
    1K
  • Following
    123
  • Likes
    2K