Join Nostr
Senior Lecturer . Interested in type theory and constructive mathematics.

Homepage: https://fredriknf.com/
Public Key
npub1vxwygmean8zyu7n33cl4762f3c24tvgjmsv0aulpu6xvr38ncx2s6g4cqf
NIP-05 Address
[email protected]
Profile Code
nprofile1qqsxr8zydu7en3zw0fccu06ld9ycu924kyfdcx8770s7drxpcneur9gprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntzass02
Publishing to