Post #2510879
2026-05-09 13:05 UTC
@jeanas@mathstodon.xyz
Oh, absolutely! You already have a strong background in type theory, so I am not worried at all :) Hope to see you there!
@de_Jong_Tom@mathstodon.xyz @mevenlennonbertrand@lipn.info
Replies (1)
-
@de_Jong_Tom@mathstodon.xyz 2026-05-09 13:55
Definitely agree! On both statements :) @matematiflo@mathstodon.xyz @jeanas@mathstodon.xyz @mevenlennonbertrand@lipn.info