I'm spending three so far very productive weeks visiting Academia Sinica in Taipei, Taiwan, generously and kindly hosted by @ltchen@mathstodon.xyz.
Remote
Fredrik Nordvall Forsberg
@fnf@mathstodon.xyz
mastodon 4.7.2Senior Lecturer @mspstrath@mastodon.acm.org. Interested in type theory and constructive mathematics.
201 Followers
163 Following
3 Posts
Joined January 19, 2024
Homepage:
@gallais@mamot.fr "X is ~~in~~complete"? (where X is a 50+ characters string)