Fredrik Nordvall Forsberg
@fnf@mathstodon.xyz
Joined: 01/19/2024
About Fredrik Nordvall Forsberg
Senior Lecturer @mspstrath. Interested in type theory and constructive mathematics.
Lists
{username} has no public lists
Timeline
{username} has no activity yet