Loïc
I am a postdoc in Stockholm University, Sweden. I enjoy all the different flavors of dependent type theory!
Public Key
npub1jn23feh0tjglvwmxpez0esxtlk59awhenehcemknk8z8gmx8d2zsrnk4jhNIP-05 Address
typeintype@types-pl.mostr.pubProfile Code
nprofile1qqsff4g5umh4ey0k8dnqu38ucr9lm2z7htueumuvamfmr3r5dnrk4pgpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qvvmc86Publishing to
relay.mostr.pub relay.mostr.pub
Author Public Key
npub1jn23feh0tjglvwmxpez0esxtlk59awhenehcemknk8z8gmx8d2zsrnk4jh