← Feed @danielgratzer@mathstodon.xyz Post #2117129 2026-05-03 15:02 UTC Arrived in Gothenburg! Very nice to be back actually... Looking forward to seeing some of you tomorrow at TYPES. Replies (0) No replies.