Cellular Methods in Homotopy Type Theory (accompanying formalisation) Software

@misc{dagstuhl-artifact-26875,
   title = {{Cellular Methods in Homotopy Type Theory (accompanying formalisation)}}, 
   author = {Ljungstr\"{o}m, Axel and Pujet, Lo\"{i}c},
   note = {Software, Knut and Alice Wallenberg Foundation Postdoctoral Scholarship: Program in Mathematics for researchers with a Swedish doctor’s degree, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:7904cf81046d351ce2a27f778d8b96f71186035d;origin=https://github.com/agda/cubical;visit=swh:1:snp:82843e2d41d4b8b6a9013ffeadeb01fbcbb23e53;anchor=swh:1:rev:8a45d739ad0b75f4773874be4a5e42dbd46c9cd6}{\texttt{swh:1:dir:7904cf81046d351ce2a27f778d8b96f71186035d}} (visited on 2026-07-09)},
   url = {https://github.com/agda/cubical/blob/master/Cubical/Papers/CellularMethods.agda},
   doi = {10.4230/artifacts.26875},
}