cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

bibtex citation for the library

Open mortberg opened this issue 3 years ago • 2 comments

Someone asked how to cite the library on Zulip. How about:

@misc{agdacubical,
  title = {The agda/cubical library},
  author = {{The agda/cubical development team}},
  year = {2018--},
  url = {https://github.com/agda/cubical/},
}

I've been referring to the library as agda/cubical in order to not mix it up with the Cubical Agda system

mortberg avatar Dec 08 '21 07:12 mortberg

Looks good to me

Saizan avatar Dec 08 '21 08:12 Saizan

Should we put it in the README?

mzeuner avatar Sep 21 '22 08:09 mzeuner