















Français



Voici le groupe parisien d'utilisateurs d'Idris. Loin de se résumer à ce dernier, le groupe accueille toutes celles et ceux s'intéressant de près ou de loin aux types dépendants, à la logique formelle, aux preuves et leurs applications.



Le Paris Idris Group à pour vocation de fournir à toutes et tous un espace convivial et accueillant pour parler de ces sujets. Si vous ne connaissez rien au types dépendants mais êtes désireux.euse d'en savoir plus, vous êtes le/la bienvenu.e. Si vous êtes expert.e de ces sujets, vous l'êtes également!



Le Paris Idris Group se veut également un meetup engagé dans l'inclusion de toutes et tous sans distinction de sexe, religion, croyance, etc. Nous feront le maximum pour garantir un espace safe pour chaun.e.



English



Here is the Parisian group of Idris users. Far from being limited to it, this group welcomes everyone interested in dependent types, formal logic, proofs and their applications.



The vocation of the Paris Idris Group is to provided a safe and welcoming space for everyone to talk about these subjects. If you know nothing about dependent types but are curious to discover it, you're welcome! If you're an expert, you're welcome too!



The Paris Idris Group is committed into being inclusive, regardless of sexe, religion, etc. We will do our best to provide a safe space for everyone.