Ce projet est une implémentation de la théorie des ensembles dans Dedukti, utilisant une version intuitionniste de la théorie des ensembles où les ensembles sont représentés par des graphes pointés. Il contient plusieurs fichiers de code organisés en fonctionnalités, notamment la logique, les nombres naturels, la théorie des graphes pointés, la théorie des formules, l'extension de la langue, la preuve de la théorie des ensembles et des lemmes associés.