Les problèmes de partage équitable se rencontrent dans de nombreuses situations réelles. Pourtant, les notions sous-jacentes d'équité et les protocoles permettant de garantir ces propriétés sont parfois difficiles à comprendre pour les non-expert-e-s.
L'objectif de ce projet est de proposer une "explication exlorable", implémentée dans le langage spécialement dédié Idyll (https://idyll-lang.org/docs), de notions d'équité et de protocoles de partage équitable. On s'attachera en particulier à la notion d'envie (età certaines relaxations) et aux protocoles de Lipton (élimination des cycles d'envie) et picking sequences.