Johannes Schipp von Branitz
@johannes_svb@mathstodon.xyz
Joined: 06/14/2023
About Johannes Schipp von Branitz
PhD student in Nottingham working on topics related to Homotopy Type Theory
Lists
johannes_svb has no public lists
Timeline
johannes_svb has no activity yet