Delooping cyclic groups with lens spaces in homotopy type theory.

Samuel Mimram, mile Oleon

Browse the full LICS paper archive.