TY  - RPRT
TI  - Delooping presented groups in homotopy type theory
AU  - Camil Champin
AU  - Samuel Mimram
AU  - Emile Oleon
PY  - 2026
UR  - https://arxiv.org/abs/2405.03264
ID  - 2405.03264
ER  -