Delooping generated groups in homotopy type theory

From MaRDI portal

Publication:6533425

Jump to:navigation, search

arXiv2405.03264MaRDI QIDQ6533425

Samuel Mimram, Emile Oleon, Camil Champin

Has companion code repository: https://github.com/smimram/generated-deloopings-agda

This page was built for publication: Delooping generated groups in homotopy type theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6533425&oldid=40058002"