← Feed @de_Jong_Tom@mathstodon.xyz Post #2374287 2026-05-03 05:00 UTC On my way to Gothenburg for #TYPES. Please come and say hi! Replies (0) No replies.