Division by Two, in Homotopy Type Theory. - Samuel Mimram; Émile Oleon (FSCD, 2022)

Delooping Generated Groups in Homotopy Type Theory. - Camil Champin; Samuel Mimram; Émile Oleon (FSCD, 2024)

Delooping cyclic groups with lens spaces in homotopy type theory. - Samuel Mimram; Émile Oleon (LICS, 2024)

Coherent Tietze Transformations of 1-Polygraphs in Homotopy Type Theory. - Samuel Mimram; Émile Oleon (FSCD, 2025)

Hypercubical manifolds in homotopy type theory. - Samuel Mimram; Émile Oleon (CoRR, 2025)