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
{username} has no public lists
Timeline
{username} has no activity yet
@dwarn@mathstodon.xyz
Joined: 12/12/2022
PhD student in homotopy type theory at the University of Gothenburg
{username} has no public lists
{username} has no activity yet