@jeanas There is a very active group in Nantes. Apart from Pierre-Marie Pédrot you have several other researchers there, for instance Assia Mahboubi and Nicolas Tabareau. France is a power-house in type theory.
=> More informations about this toot | View the thread | More toots from andrejbauer@mathstodon.xyz
=> View jeanas@mastodon.abou-samra.fr profile
text/geminiThis content has been proxied by September (3851b).