Join Nostr
I am a postdoc in Stockholm University, Sweden. I enjoy all the different flavors of dependent type theory!
Public Key
npub1jn23feh0tjglvwmxpez0esxtlk59awhenehcemknk8z8gmx8d2zsrnk4jh
Profile Code
nprofile1qqsff4g5umh4ey0k8dnqu38ucr9lm2z7htueumuvamfmr3r5dnrk4pgpp4mhxue69uhhjctzw5hx6egpp4mhxue69uhkummn9ekx7mq7nzl6h
Publishing to