The Cubical Agda Library

Reference. The Cubical Agda Library

The agda/cubical Contributors · 2024 · cubical · Web

Cite

Cite as @cubicalagdalib (helia, typst) · \cite{cubicalagdalib} (LaTeX)

BibTeX

bibtex · 6 lines

@misc{cubicalagdalib,
 title = {The {C}ubical {A}gda Library},
 author = {The {agda/cubical} Contributors},
 year = {2024},
 url = {https://github.com/agda/cubical}
}

hayagriva YAML (typst)

yaml · 6 lines

cubicalagdalib:
  type: misc
  title: The {C}ubical {A}gda Library
  author: Contributors, The agda/cubical
  date: 2024
  url: https://github.com/agda/cubical

Download: cubicalagdalib.bib · cubicalagdalib.yml