@johannes_svb@mathstodon.xyz
Joined: 06/14/2023
18
Followers
38
Following
PhD student in Nottingham working on topics related to Homotopy Type Theory
https://jsvb.xyz
johannes_svb has no public lists
johannes_svb has no activity yet