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.
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
My cursor was not included in the screenshot, but it's right over
thanks, that's approximately what I was looking for
Examples from UniMath: https://arxiv.org/pdf/1705.04296.pdf and https://arxiv.org/pdf/1903.01152.pdf
Last updated: Feb 22 2024 at 05:02 UTC