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
nprofile1qqsff4g5umh4ey0k8dnqu38ucr9lm2z7htueumuvamfmr3r5dnrk4pgpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsstlwfjAuthor Public Key
npub1jn23feh0tjglvwmxpez0esxtlk59awhenehcemknk8z8gmx8d2zsrnk4jh