Delooping generated groups in homotopy type theory

Champin, Camil; Mimram, Samuel

doi:10.4230/artifacts.22463

Artifact

Delooping generated groups in homotopy type theory Software

Authors Camil Champin, Samuel Mimram

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22463
URN: urn:nbn:de:0030-drops-224632

Author Details

Camil Champin

ENS Lyon

Samuel Mimram

École polytechnique

Content

Software (Proofs): https://github.com/smimram/generated-deloopings-agda
archived version

Version/Status

Content created at: 2024-01-26

Cite As Get BibTex

Camil Champin, Samuel Mimram. Delooping generated groups in homotopy type theory (Software, Proofs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22463

Description

Generated deloopings in Agda.

Subject Classification

Keywords

agda
cayley-graph
delooping
generated-group
group
homotopy-type-theory
presentation

Programming Languages

Agda

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail