This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
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
fnf has no public lists
Timeline
fnf has no activity yet