@buchholtz I’m very saddened as well. I’ll always remember fondly our type theory conversations, his fine humor and communicative laughter and the many hours I spent reading his habilitation.
=> More informations about this toot | View the thread | More toots from mattam@types.pl
=> View buchholtz@mathstodon.xyz profile
text/geminiThis content has been proxied by September (ba2dc).