mastodon
4.6.4
Senior Lecturer @mspstrath@mastodon.acm.org. Interested in type theory and constructive mathematics.
Senior Lecturer @mspstrath. Interested in type theory and constructive mathematics.
Senior Lecturer @mspstrath. Interested in type theory and constructive mathematics.
@gallais@mamot.fr "X is ~~in~~complete"? (where X is a 50+ characters string)
Senior Lecturer @mspstrath. Interested in type theory and constructive mathematics.
I'm spending three so far very productive weeks visiting Academia Sinica in Taipei, Taiwan, generously and kindly hosted by @ltchen@mathstodon.xyz.