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
PhD student in homotopy type theory at the University of Gothenburg
dwarn has no public lists
dwarn has no activity yet