David Wärn
@dwarn@mathstodon.xyz
Joined: 12/12/2022
About David Wärn
PhD student in homotopy type theory at the University of Gothenburg
Lists
dwarn has no public lists
Timeline
dwarn has no activity yet
@dwarn@mathstodon.xyz
Joined: 12/12/2022
PhD student in homotopy type theory at the University of Gothenburg
dwarn has no public lists
dwarn has no activity yet