Join Nostr
PhD student in homotopy type theory at the University of Gothenburg
Public Key
npub17yd3krguvj7u7z7s5kh47arlzlwk9wcwz205gg7qg582rzazzyds4v03sq
Profile Code
nprofile1qqs0zxcmp5wxf0w0p0g2tt6lw3l30htzhv8p986yy0qy2r4p3w3pzxcpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0ds4w7f5l
Publishing to