Delooping Generated Groups in Homotopy Type Theory.

Camil Champin, Samuel Mimram, mile Oleon

Browse the full FSCD paper archive.