Stream: Coq devs & plugin devs

Topic: citation?


view this post on Zulip Gaëtan Gilbert (Jan 25 2022 at 19:51):

should we make one of these https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-citation-files ?

view this post on Zulip Théo Zimmermann (Jan 26 2022 at 09:41):

This sounds like a good idea, since it supports including the Zenodo DOI. I had looked into this when it got out, but the documentation was more scarce at the time and in particular, it was not clear it would allow linking to an external resource like this.


Last updated: Apr 16 2024 at 19:01 UTC