avatar

IRIF

@IRIF@mastodon.social

Joined: 01/25/2024



About IRIF

IRIF is a research laboratory of CNRS and Université Paris Cité on the foundations .
INS2I, Maths Paris, Inria Paris, DIM RFSI

Lists

IRIF has no public lists

Timeline

IRIF has no activity yet