Karl Palmskog (Dec 09 2021 at 11:33): Karl Palmskog (Dec 09 2021 at 11:33):Are there any good examples of research papers that reference Coq code inline? Doesn't necessarily mean a link to a GitHub repo, just an unambiguous reference to where the "Coq equivalent" of some concept explained in a paper can be found.
Yannick Forster (Dec 09 2021 at 16:42):I'm not sure I'm getting the question wrong, but I've been using the coqtheorempackage extensively in the last years (github.com/yforster/coqtheorem). It gives an easy way to link definitions, lemmas, and theorems to coqdoc-generated code, see for example https://doi.org/10.4230/LIPIcs.CSL.2021.21
Yannick Forster (Dec 09 2021 at 16:44):
Yannick Forster (Dec 09 2021 at 16:44):My cursor was not included in the screenshot, but it's right over Lemma 1
Karl Palmskog (Dec 09 2021 at 16:52):thanks, that's approximately what I was looking for
Dan Frumin (Dec 14 2021 at 22:06):Examples from UniMath: https://arxiv.org/pdf/1705.04296.pdf and https://arxiv.org/pdf/1903.01152.pdf
Last updated: May 31 2023 at 10:01 UTC