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