Ancestors

Toot

Written by Tom de Jong on 2024-09-15 at 09:05

On the train to another edition of the wonderful Proof and Computation autumn school 😄

https://www.mathematik.uni-muenchen.de/~schwicht/pc24.php

=> More informations about this toot | More toots from de_Jong_Tom@mathstodon.xyz

Descendants

Written by Yannick Forster on 2024-09-15 at 12:06

@de_Jong_Tom see you tomorrow :)

=> More informations about this toot | More toots from yforster@types.pl

Written by Martin Escardo on 2024-09-15 at 16:02

@yforster @de_Jong_Tom

Enjoy, both of you!

=> More informations about this toot | More toots from MartinEscardo@mathstodon.xyz

Written by Tom de Jong on 2024-09-15 at 16:04

@MartinEscardo @yforster Thanks! Off to a good start with no delays from Utrecht all the way to Munich 🙂

=> More informations about this toot | More toots from de_Jong_Tom@mathstodon.xyz