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

Delooping generated groups in homotopy type theory. - Camil Champin; Samuel Mimram (DROPS Artifacts, 2024)