Fredrik Nordvall Forsberg
Senior Lecturer MSP Group (npub125r…83fx). Interested in type theory and constructive mathematics.
Homepage: https://fredriknf.com/
Homepage: https://fredriknf.com/
Public Key
npub1vxwygmean8zyu7n33cl4762f3c24tvgjmsv0aulpu6xvr38ncx2s6g4cqfNIP-05 Address
fnf_at_mathstodon.xyz@momostr.pinkProfile Code
nprofile1qqsxr8zydu7en3zw0fccu06ld9ycu924kyfdcx8770s7drxpcneur9gpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsk7ezr8Author Public Key
npub1vxwygmean8zyu7n33cl4762f3c24tvgjmsv0aulpu6xvr38ncx2s6g4cqf